Computer Science ›› 2006, Vol. 33 ›› Issue (10): 131-133.
Previous Articles Next Articles
PAN Zheng-Hua （School of Science, Southern Yangtze University, Wuxi 214122）
Online:
Published:
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
PAN Zheng-Hua （School of Science, Southern Yangtze University, Wuxi 214122）. [J].Computer Science, 2006, 33(10): 131-133.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2006/V33/I10/131
Cited
Home