Towards an hyperalgebraic theory of non-algebraizable logics
CLE E-Prints 16 (4):1-27 (2016)
AbstractMultialgebras (or hyperalgebras) have been very much studied in the literature. In the realm of Logic, they were considered by Avron and his collaborators under the name of non-deterministic matrices (or Nmatrices) as a useful semantics tool for characterizing some logics (in particular, several logics of formal inconsistency or LFIs) which cannot be characterized by a single finite matrix. In particular, these LFIs are not algebraizable by any method, including Blok and Pigozzi general theory. Carnielli and Coniglio introduced a semantics of swap structures for LFIs, which are Nmatrices defined over triples in a Boolean algebra, generalizing Avron's semantics. In this paper we develop the first steps towards the possibility of defining an algebraic theory of swap structures for LFIs, by adapting concepts of universal algebra to multialgebras in a suitable way.
Similar books and articles
Algebraization of Logics Defined by Literal-Paraconsistent or Literal-Paracomplete Matrices.Eduardo Hirsh & Renato A. Lewin - 2008 - Mathematical Logic Quarterly 54 (2):153-166.
Logics of Formal Inconsistency Arising From Systems of Fuzzy Logic.Marcelo E. Coniglio, Francesc Esteva & Lluís Godo - 2014 - Logic Journal of the IGPL 22 (6):880-904.
Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (in)Consistency.Arnon Avron - manuscript
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.
Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (In)Consistency.Arnon Avron - unknown
On the Way to a Wider Model Theory: Completeness Theorems for First-Order Logics of Formal Inconsistency.Walter Carnielli, Marcelo E. Coniglio, Rodrigo Podiacki & Tarcísio Rodrigues - 2014 - Review of Symbolic Logic 7 (3):548-578.
Categorical Abstract Algebraic Logic: Models of Π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.
Paraconsistent Belief Revision Based on a Formal Consistency Operator.Rafael R. Testa, Marcelo E. Coniglio & Márcio M. Ribeiro - 2015 - CLE E-Prints 15 (8):01-11.
Finite Non-Deterministic Semantics for Some Modal Systems.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton M. Peron - 2015 - Journal of Applied Non-Classical Logics 25 (1):20-45.
Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
Non-Deterministic Algebras and Algebraization of Logics.Ana Claudia Golzio & Marcelo E. Coniglio - 2015 - Filosofia da Linguagem E da Lógica (Philosophy of Language and Philosophy of Logic, in Portuguese).
Added to PP
Historical graph of downloads
Citations of this work
Non-Deterministic Algebraization of Logics by Swap Structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.
References found in this work
No references found.