Switch to: References

Add citations

You must login to add citations.
  1. Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras.Aldo Figallo-Orellano, Miguel Peréz-Gaspar & Juan Manuel Ramírez-Contreras - 2022 - Studia Logica 110 (5):1291-1325.
    The study of the theory of operators over modal pseudocomplemented De Morgan algebras was begun in papers [20] and [21]. In this paper, we introduce and study the class of modal pseudocomplemented De Morgan algebras enriched by a k-periodic automorphism -algebras). We denote by \ the automorphism where k is a positive integer. For \, the class coincides with the one studied in [20] where the automorphism works as a new unary operator which can be considered as a negation. In (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3.Aldo Figallo Orellano, Miguel Pérez-Gaspar & Everardo Bárcenas - forthcoming - Logic and Logical Philosophy:1-18.
    Paraconsistent extensions of 3-valued Gödel logic are studied as tools for knowledge representation and nonmonotonic reasoning. Particularly, Osorio and his collaborators showed that some of these logics can be used to express interesting nonmonotonic semantics. CG’3 is one of these 3-valued logics. In this paper, we introduce Fidel semantics for a certain calculus of CG’3 by means of Fidel structures, named CG’3-structures. These structures are constructed from enriched Boolean algebras with a special family of sets. Moreover, we also show that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•