-
368Non-deterministic algebraization of logics by swap structures1Logic Journal of the IGPL 28 (5): 1021-1059. 2020.Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization …Read more
-
10Non-Deterministic Matrices: Theory and Applications to Algebraic SemanticsBulletin of Symbolic Logic 28 (2): 260-261. 2022.
-
374First-order swap structures semantics for some Logics of Formal InconsistencyJournal of Logic and Computation 30 (6): 1257-1290. 2020.The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproac…Read more
Campinas, São Paulo, Brazil