Switch to: References

Add citations

You must login to add citations.
  1. Nelson algebras, residuated lattices and rough sets: A survey.Jouni Järvinen, Sándor Radeleczki & Umberto Rivieccio - forthcoming - Journal of Applied Non-Classical Logics:1-61.
    Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential developments in the field over the past two decades. Additionally, we explore generalisations of Nelson algebras, such as N4-lattices which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • 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   12 citations