中介逻辑ML的语法完全性

计算机科学 ›› 2006, Vol. 33 ›› Issue (10): 131-133.

• 计算机网络与信息安全 • 上一篇下一篇

中介逻辑ML的语法完全性

潘正华

江南大学理学院数理研究所,无锡214122

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
国家自然科学基金（60575038）资助课题.

PAN Zheng-Hua （School of Science, Southern Yangtze University, Wuxi 214122）

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 中介逻辑ML（Medium Logic）是近年提出的一种非经典逻辑。在ML的系统特征理论中已证明ML具有语义完全（完备）性。本文研究了ML的语法完全性，证明了如下结果：（1）ML中的中介命题逻辑系统MP及其扩张MP^＊是语法完全的，中介谓词逻辑系统MF与其扩张MF^＊，以及含有等词的中介谓词逻辑系统ME不是语法完全的。（2）一般地，如果一个协调的逻辑形式系统不是语法完全的，则它的任何协调的扩张系统也不是语法完全的。

关键词: 中介逻辑形式系统协调性语义完全性语法完全性

Abstract: Medium Logic （ML） is a kind of non-classical logic, the semantic completeness of ML had been proven in theory of semantic characteristic. This paper study the syntactic completeness of ML and proved the following results：（1） medium propositional logic MP

Key words: Medium logic （ML）, Logical formal system, Consistency, Syntactic completeness, Semantic completeness

潘正华. 中介逻辑ML的语法完全性[J]. 计算机科学, 2006, 33(10): 131-133. https://doi.org/

PAN Zheng-Hua （School of Science, Southern Yangtze University, Wuxi 214122）. [J]. Computer Science, 2006, 33(10): 131-133. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

中介逻辑ML的语法完全性

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0