-
436Swap structures semantics for Ivlev-like modal logicsSoft Computing 23 (7): 2243-2254. 2019.In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard tec…Read more
-
8Towards an hyperalgebraic theory of non-algebraizable logicsCLE E-Prints 16 (4): 1-27. 2016.Multialgebras (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. …Read more
-
301Non-deterministic algebras and algebraization of logicsFilosofia da Linguagem E da Lógica (Philosophy of Language and Philosophy of Logic, in Portuguese). 2015.
-
392Non-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.
-
387First-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