Kripke-type Semantics for

详细信息    查看全文

• 作者：Veró ; nica Borja Mací ; as ^{vero0304@gmail.com} ; Miguel Pé ; rez-Gaspar ^{miguetux@hotmail.com}
• 关键词：Many-valued Logics ; Paraconsistent Logics ; Kripke-Type Semantics
• 刊名：Electronic Notes in Theoretical Computer Science
• 出版年：2016
• 出版时间：8 December 2016
• 年：2016
• 卷：328
• 期：Complete
• 页码：17-29
• 全文大小：232 K
• 卷排序：328

文摘

In Osorio et al. [Revisiting Z. Notre Dame Journal of Formal Logic  , 55(1):129–155, 2014] introduced a paraconsistent three-valued logic, the logic CG3′ which was named after the logic G3′ due to the close relation between them. Authors defined CG3′ via the three-valued matrix that defines G3′ but changing the set of designated truth values. In this article we present a brief study of the Kripke-type semantics for some logics related with CG3′ before constructing a Kripke-type semantics for it.