Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)An abstract algebraic logic approach to tetravalent modal logics.Josep Maria 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  
  • Modality-free pre-rough logic.Anirban Saha & Jayanta Sen - 2024 - Journal of Applied Non-Classical Logics 34 (2):429-451.
    In this paper, we present a modality-free pre-rough algebra. Ɓukasiewicz Moisil algebra and Wajsberg algebra are equivalent under a transformation. A similar type of equivalence exists in our proposed definition and standard definition of pre-rough algebra. We obtain a few modality-free algebras weaker than pre-rough algebra. Furthermore, it is also established that modality-free versions for other analogous structures weaker than pre-rough algebra do not exist. Both Hilbert-type axiomatization and sequent calculi for all proposed algebras are presented.
    Download  
     
    Export citation  
     
    Bookmark