摘要
在维瑟(Albert Visser)的基本命题逻辑(BPL)基础上增加公理(p→q)∨((p→q)→p)得到的逻辑LB相对于弱连通传递框架类是完全的。增加达米特(M.Dummett)公理(p→q)∨(q→p)得到的逻辑LD是不完全的。本文还证明LB具有有穷模型性质,但是不具有两常元性质和析取性质。
The logic LB is obtained from Visser's basic propositional logic by adding the axiom (p → q) V ((p → q) → p). This logic is complete with respect to the class of all weakly connected transitive frames. But the logic LD which is obtained from BPL by adding the Dummett formula (p → q) V (q → p) is not complete. The logic LB has finite model property but no two constant property and no disjunction property.
出处
《逻辑学研究》
CSSCI
2013年第4期17-29,共13页
Studies in Logic
基金
国家社科基金青年项目"模态可定义性理论研究"(12CZX054)