Notes on the Logic of Perfect Paradefinite Algebras
Anais do II Workshop Brasileiro de Lógica (WBL 2021)(2021)
摘要
This work introduces the variety of perfect paradefinite algebras (PPalgebras), consisting of De Morgan algebras enriched with a perfect operator o, which turns out to be equivalent to the variety of involutive Stone algebras (IS-algebras). The corresponding order-preserving logic PP≤ is a Logic of Formal Inconsistency, a Logic of Formal Undeterminedness, a C-system and a D-system, some of these features being evident in the proposed axiomatization of PP-algebras. After proving the mentioned algebraic equivalence, we show how to axiomatize, by means of Hilbert-style calculi, certain extensions of De Morgan algebras with a perfect operator and, in particular, the logic PP≤.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要