Tableau Systems for Some Paraconsistent Modal Logics

详细信息    查看全文

• 作者：Casey McGinnis
• 关键词：paraconsistent logic ; modal logic ; tableaux
• 刊名：Electronic Notes in Theoretical Computer Science
• 出版年：2006
• 出版时间：6 January 2006
• 年：2006
• 卷：143
• 期：Complete
• 页码：141-157
• 全文大小：263 K

文摘

In this paper we present tableau-style proof theories for some modal extensions of two paraconsistent propositional logics: RM3, which allows for truth value gluts, and the weaker BN4, which also allows for truth value gaps. These proof theories are shown to be sound and complete with respect to their corresponding semantics. For comparison, we then present some Hilbert-style axiomatizations of these systems proposed by Lou Goble, and bring out some of the comparative advantages and disadvantages of these vis-à-vis our tableau systems.