Strong Completeness of Medium Logic System

来源 :西南交通大学学报：英文版 | 被引量 : 0次 | 上传用户：XU739603

【摘要】

：

The strong completeness of medium logic system is discussed. The following results are proved: medium propositional logic system MP and its extension MP * are s

【作者】

：

潘正华朱梧梗

【机构】

：

SchoolofScience,ResearchInstituteofComputerSience

【出处】

：

西南交通大学学报：英文版

【发表日期】

：

2005年2期

【关键词】

：

ML 媒介逻辑连贯性可靠性 MP Medium logic Formal system Consistency Weak completeness

【基金项目】

：

中国科学院资助项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

The strong completeness of medium logic system is discussed. The following results are proved: medium propositional logic system MP and its extension MP * are strong complete; medium predicate logic system MF and its extensions ( MF * and ME * ) are not s

其他文献

引导高职学生深入学习和把握社会主义核心价值体系

高职院校是社会主义先进文化建设的重要阵地，在社会主义核心价值体系建设中肩负着重要使命。当前，高职院校应当按照党的十八大要求，结合新的实际，认真总结经验，积极探索开拓，深入开

期刊

高职院校思想政治理论课社会主义核心价值体系higher vocational colleges ideological and moral cultiv

Strategy-Based Forecasting Model for Civil Airlines

Airlines usually pay more attention to maintenance cost for efficiency improvement and consumption reduction. However, airlines, especially the domestic airline

期刊

中国航空经济民用航线灰色系统理论维修费用成本关联估计Civil airlines CERs Maintenance cost Theory o

Bi-phasic Simulation of Metal Injection Moulding： Constitutive Determinations

To predict the segregation effect in metal injection moulding (MIM) injection, a bi-phasic model based on mixture theory is adopted in simulation. An explicit a

期刊

铋相位模拟金属注射浇铸粘滞行为混合理论MIM注射metal injection moulding bi-phasic simulation vis

1%蛇床子素水乳剂防治草莓白粉病药效试验

田间药效试验表明,1%蛇床子素水乳剂对草莓白粉病有较好的防治效果,3次药后7d1%蛇床子素水乳剂400倍液的防效为86.58%,500倍液的防效为76.59%,对照药剂10%苯醚甲环唑水分散粒

期刊

1%蛇床子素水乳剂草莓白粉病防效

Additive—Multiplicative Fuzzy Neural Network and Its Performance

In view of the main weaknesses of current fuzzy neural networks such as low reasoning precision and long training time, an Additive-Multiplicative Fuzzy Neural

期刊

模糊神经网络模糊规则AMFNN模糊数学模糊推论fuzzy inference additivemultiplicative fuzzy neural

New Definition and Properties of Fuzzy Entropy

期刊

模糊熵σ-熵模糊集附加需求Fuzzy entropy σ-entropy Fuzzy set

历史中的真理问题

真理问题充分体现了赫勒哲学态度的存在论性质.后现代主义哲学家们不应寻求那种普遍强迫的真理.赫勒提出了真理的主观性、启发性、个体性及历史性质,真理应当是一种认识论的

期刊

真理理念介入历史troth idea intervention history

Distributed Broker-Agent Architecture for Multimedia Communications Traversing NAT／Firewall in NGN

The forthcoming Next Generation Network (NGN) is an all IP network. Multimedia communications over IP networks are a type of bundled session communications, whi

期刊

下一代网络多媒体通信穿越NAT/防火墙代理Broker-agent Next Generation Network Multimedia commu

高级技能人才的培养目标和KSA──Q模式

高级技能人才的培养目标和ＫＳＡ──Ｑ模式在积极发展高等职业教育的今天，高级技工学校能否生存和发展，除了要进行教学规律的探索和教学过程的改革外．还取决于培养目标是否符合国家经济

期刊

高级技能人才培养目标能力培养高等职业教育高级技工学校职业岗位Q模式技能训练操作技能一般能力

40%二甲戊·乙乳油防除玉米田杂草田间药效试验

田间试验表明：40%二甲戊.乙乳油150～200mL/667m^2能有效地防除玉米田中的杂草,药后15d、30d、45d对禾本科杂草和阔叶杂草的株防效达95.2%、96.1%、98.1%,药后45d鲜重防效达98.5

期刊

二甲戊乐·乙乳油玉米杂草防治效果

Strong Completeness of Medium Logic System

与本文相关的学术论文