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