Switch to: References

Add citations

You must login to add citations.
  1. An abstract algebraic logic approach to tetravalent modal logics.Josep Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
    This paper contains a joint study of two sentential logics that combine a many-valued character, namely tetravalence, with a modal character; one of them is normal and the other one quasinormal. The method is to study their algebraic counterparts and their abstract models with the tools of Abstract Algebraic Logic, and particularly with those of Brown and Suszko's theory of abstract logics as recently developed by Font and Jansana in their "A General Algebraic Semantics for Sentential Logics". The logics studied (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras.Marcelo E. Coniglio & Martín Figallo - 2014 - Studia Logica 102 (3):525-539.
    We analyze the variety of A. Monteiro’s tetravalent modal algebras under the perspective of two logic systems naturally associated to it. Taking profit of the contrapositive implication introduced by A. Figallo and P. Landini, sound and complete Hilbert-style calculi for these logics are presented.
    Download  
     
    Export citation  
     
    Bookmark   8 citations