几个弱逻辑的一种模态扩充
作者机构:中国科技大学研究生院
出 版 物:《数学学报(中文版)》 (Acta Mathematica Sinica:Chinese Series)
年 卷 期:1989年第32卷第5期
页 面:678-689页
核心收录:
学科分类:01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
摘 要:象 *** 由直觉主义命题演算 IC 出发构作出一模态扩充 MIPC 那样,我们由正演算 PC、Johanson 极小演算 MC 和带半否定的正演算 NC 出发构作出三个模态扩充 MPPC,MMPC 和 MNPC,文中证明了对四个模态演算而言,正规模型与典范模型两概念相合,并且四者均具有有穷模型性质,从而为可判定的.最后定出 MPPC 和 MNPC 分别具有3个和无穷多个模态辞,而MIPC 和 MMPC 均正好具有13个模态辞.