4 found
Order:
  1.  81
    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.
    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 of logics by swap structures are given. Specifically, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2. Towards an Hyperalgebraic Theory of Non-Algebraizable Logics.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana C. Golzio - 2016 - CLE E-Prints 16 (4):1-27.
    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. Carnielli and Coniglio introduced a semantics (...)
     
    Export citation  
     
    Bookmark   1 citation  
  3. A Model-Theoretic Analysis of Fidel-Structures for mbC.Marcelo E. Coniglio & Aldo Figallo-Orellano - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Springer Verlag. pp. 189-216.
    In this paper, the class of Fidel-structures for the paraconsistent logic mbC is studied from the point of view of Model Theory and Category Theory. The basic point is that Fidel-structures for mbC can be seen as first-order structures over the signature of Boolean algebras expanded by two binary predicate symbols N and O satisfying certain Horn sentences. This perspective allows us to consider notions and results from Model Theory in order to analyze the class of mbC-structures. Thus, substructures, union (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  8
    Symmetric Operators on Modal Pseudocomplemented De Morgan Algebras.Aldo Figallo-Orellano, Alicia Ziliani & Martín Figallo - 2017 - Logic Journal of the IGPL 25 (4):496-511.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark