Switch to: References

Citations of:

Non-deterministic algebras and algebraization of logics

Filosofia da Linguagem E da Lógica (Philosophy of Language and Philosophy of Logic, in Portuguese) (2015)

Add citations

You must login to add citations.
  1. Non-Deterministic Algebraization of Logics by Swap Structures.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - forthcoming - Logic Journal of the IGPL.
    Multialgebras (or hyperalgebras or non-deterministic algebras) 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 (or LFIs) 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations