On Logics of Perfect Paradefinite Algebras

DOI10.4204/EPTCS.357.5arXiv2106.09883MaRDI QIDQ6370628FDOQ6370628

Authors: Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio 

Publication date: 17 June 2021

Abstract: The present study shows how to enrich De Morgan algebras with a perfection operator that allows one to express the Boolean properties of negation-consistency and negation-determinedness. The variety of perfect paradefinite algebras thus obtained (PP-algebras) is shown to be term-equivalent to the variety of involutive Stone algebras, introduced by R. Cignoli and M. Sagastume, and more recently studied from a logical perspective by M. Figallo-L. Cant'u and by S. Marcelino-U. Rivieccio. This equivalence plays an important role in the investigation of the 1-assertional logic and of the order-preserving logic associated to PP-algebras. The latter logic (here called PP<=) is characterized by a single 6-valued matrix and is shown to be a Logic of Formal Inconsistency and Formal Undeterminedness. We axiomatize PP<= by means of an analytic finite Hilbert-style calculus, and we present an axiomatization procedure that covers the logics corresponding to other classes of De Morgan algebras enriched by a perfection operator.

This page was built for publication: On Logics of Perfect Paradefinite Algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6370628)