10.3969/j.issn.1674-3202.2013.04.002
弱连通传递框架类的命题逻辑
在维瑟(Albert Visser)的基本命题逻辑(BPL)基础上增加公理(p→q)v ((p→q)→p)得到的逻辑LB相对于弱连通传递框架类是完全的.增加达米特(M.Dummett)公理(p→q)v(q→p)得到的逻辑LD是不完全的.本文还证明LB具有有穷模型性质,但是不具有两常元性质和析取性质.
基本命题逻辑、弱连通性、逻辑性质
6
B81(逻辑学(论理学))
国家社科基金青年项目“模态可定义性理论研究”12CZX054
2014-03-04(万方平台首次上网日期,不代表论文的发表时间)
共13页
17-29