切换导航
文档转换
企业服务
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是应用最广的一种系统,但存在悖理。本文指出,这仅是“推理”悖理,通过分析提出了解决方法,完成了次协调性的构造。
其他文献
天香丹对动脉粥样硬化秽浊痰阻证ApoE-/-小鼠斑块内MMP-9和TIMP-1表达的影响
目的:观察天香丹对As秽浊痰阻证Apo E-/-小鼠斑块病理变化、MMP-9及TIMP-1表达的影响,探讨天香丹对As秽浊痰阻证斑块稳定性的影响及其机制。方法:将12只Apo E-/-小鼠正常对照组
期刊
动脉粥样硬化
天香丹
秽浊痰阻证
MMP-9
TIMP-1
AtherosclerosisTianxiangdanPhlegm Turbidity Syndro
浅谈如何对建筑工程技术进行管理
随着我国科学技术以及社会经济的发展,在一定程度推动了建筑行业的发展,使其为我国经济的发展做出了巨大的贡献。然而建筑行业想要保持长期稳定的发展,自身的能力培养是十分关键
期刊
建筑工程
施工技术
管理水平
冬胃颗粒对寒邪客胃型胃溃疡大鼠血清EGF、6-keto-PGF1a及ET-1的影响
目的:探讨冬胃颗粒对寒邪客胃型胃溃疡大鼠血清细胞因子水平的影响。方法:采用乙酸注射法制备大鼠胃溃疡模型,采用寒冷因素刺激复制寒邪客胃型动物模型,前3 d先用0℃冰水浸泡,
期刊
寒邪客胃
胃溃疡
大鼠模型
冬胃颗粒
Cold Stimulation gastric ulcer rat model Dongwei granule
艾炷灸抗哮喘小鼠气道炎症机制研究
目的:通过观察艾炷灸对哮喘模型小鼠血清超氧化物歧化酶(SOD)活性、一氧化氮(NO)和丙二醛(MDA)水平的影响,探讨其抗哮喘气道炎症的作用机制。方法:昆明种小鼠32只按随机数字表法分为
期刊
哮喘
艾炷灸
气道炎症
抗氧化
Asthma Moxa cone moxibustion Airway inflammation Antioxidant
不同时辰剖宫产布比卡因蛛网膜下腔阻滞麻醉效果及术后镇痛时效的研究
目的:探讨不同时辰剖宫产布比卡因蛛网膜下腔阻滞麻醉效果及术后镇痛时效的变化特点。方法:采用前瞻性队列研究方法,选取拟接受子宫下段剖宫产的健康临产妇480例,选择予0.5%
期刊
剖宫产
蛛网膜下腔阻滞
布比卡因
镇痛
时辰
间苯三酚联合曲马多治疗妊娠期肾绞痛疗效观察
目的评价间苯三酚联合曲马多对妊娠合并肾绞痛的疗效。方法 52例妊娠合并肾绞痛患者随机分组,治疗组静脉滴注间苯三酚,对照组静脉滴注山莨胆碱。两组均同时给予曲马多治疗。
期刊
间苯三酚
曲马多
妊娠
肾绞痛
河源地区妊娠晚期孕妇B族链球菌带菌情况及围产期结局观察
目的分析河源地区妊娠孕晚期孕妇B族链球菌(GBS)的筛查结果及围产期结局,以进一步降低围产期母婴风险。方法选取2015年1月-2015年10月河源地区围产门诊1 910例孕晚期GBS监测
期刊
妊娠孕晚期
B族链球菌(GBS)
围产期结局
谈谈PICANOL-OMNI型织机张力失控的原因及维修方法
织机张力的自动控制是织造过程中重要一环。毕加诺OMNI织机的张力控制部分由张力传感器、通用检测逻辑板(GDLP)、电子送经板(ELO)、伺服电机组成,通过织机计算机系统处理相关信息,
期刊
OMNI织机
张力传感器
维修方法
原因
失控
自动控制
织造过程
张力控制
秦汉守官制度考述
【正】 秦汉守官制度,即官吏的试用制度,是中国古代官吏任用制度中较为重要的一项内容,也是很有意义的一个研究课题。一、守官制度的建立赵翼《陔余丛考·假守》云:“其
期刊
二千石
京兆尹
柯蓝电子新出《蓄电池维护管理方案》
长期专注于研究蓄电池测试与维护技术和设备的专业厂商——柯蓝电子,日前又推出了适合于现在市场上蓄电池维护的最新方案。
期刊
柯蓝电子公司
《蓄电池维护管理方案》
充电方式
容量测试
与本文相关的学术论文