切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
正规经典逻辑BFc的次协调性及推理悖论的解决(下)
正规经典逻辑BFc的次协调性及推理悖论的解决(下)
来源 :河池学院学报 | 被引量 : 0次 | 上传用户:gloria2
【摘 要】
:
经典逻辑BF是应用最广的一种系统,但存在悖理。本文指出,这仅是“推理”悖理,通过分析提出了解决方法,完成了次协调性的构造。
【作 者】
:
陈自立
【机 构】
:
海宁市建设局
【出 处】
:
河池学院学报
【发表日期】
:
2006年4期
【关键词】
:
蕴涵
推理
重言系统
自然推理
悖理
标记逻辑
稳固性
二极背反
非此即彼
正则性
应用公理
事实的规律层次
事实的现实层次
Classic Logic Ca
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
经典逻辑BF是应用最广的一种系统,但存在悖理。本文指出,这仅是“推理”悖理,通过分析提出了解决方法,完成了次协调性的构造。
其他文献
不同时辰剖宫产布比卡因蛛网膜下腔阻滞麻醉效果及术后镇痛时效的研究
目的:探讨不同时辰剖宫产布比卡因蛛网膜下腔阻滞麻醉效果及术后镇痛时效的变化特点。方法:采用前瞻性队列研究方法,选取拟接受子宫下段剖宫产的健康临产妇480例,选择予0.5%
期刊
剖宫产
蛛网膜下腔阻滞
布比卡因
镇痛
时辰
间苯三酚联合曲马多治疗妊娠期肾绞痛疗效观察
目的评价间苯三酚联合曲马多对妊娠合并肾绞痛的疗效。方法 52例妊娠合并肾绞痛患者随机分组,治疗组静脉滴注间苯三酚,对照组静脉滴注山莨胆碱。两组均同时给予曲马多治疗。
期刊
间苯三酚
曲马多
妊娠
肾绞痛
河源地区妊娠晚期孕妇B族链球菌带菌情况及围产期结局观察
目的分析河源地区妊娠孕晚期孕妇B族链球菌(GBS)的筛查结果及围产期结局,以进一步降低围产期母婴风险。方法选取2015年1月-2015年10月河源地区围产门诊1 910例孕晚期GBS监测
期刊
妊娠孕晚期
B族链球菌(GBS)
围产期结局
秦汉守官制度考述
【正】 秦汉守官制度,即官吏的试用制度,是中国古代官吏任用制度中较为重要的一项内容,也是很有意义的一个研究课题。一、守官制度的建立赵翼《陔余丛考·假守》云:“其
期刊
二千石
京兆尹
柯蓝电子新出《蓄电池维护管理方案》
长期专注于研究蓄电池测试与维护技术和设备的专业厂商——柯蓝电子,日前又推出了适合于现在市场上蓄电池维护的最新方案。
期刊
柯蓝电子公司
《蓄电池维护管理方案》
充电方式
容量测试
其他学术论文