Switch to: References

Citations of:

Classical Modal De Morgan Algebras

Studia Logica 98 (1-2):251-266 (2011)

Add citations

You must login to add citations.
  1. Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic.Minghui Ma & Juntong Guo - forthcoming - Studia Logica:1-30.
    Quasi-Boolean modal algebras are quasi-Boolean algebras with a modal operator satisfying the interaction axiom. Sequential quasi-Boolean modal logics and the relational semantics are introduced. Kripke-completeness for some quasi-Boolean modal logics is shown by the canonical model method. We show that every descriptive persistent quasi-Boolean modal logic is canonical. The finite model property of some quasi-Boolean modal logics is proved. A cut-free Gentzen sequent calculus for the minimal quasi-Boolean logic is developed and we show that it has the Craig interpolation property.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.
    This article is about Avicenna’s account of syllogisms comprising opposite premises. We examine the applications and the truth conditions of these syllogisms. Finally, we discuss the relation between these syllogisms and the principle of non-contradiction.
    Download  
     
    Export citation  
     
    Bookmark  
  • De Morgan Algebras with a Quasi-Stone Operator.T. S. Blyth, Jie Fang & Lei-bo Wang - 2015 - Studia Logica 103 (1):75-90.
    We investigate the class of those algebras in which is a de Morgan algebra, is a quasi-Stone algebra, and the operations \ and \ are linked by the identity x**º = x*º*. We show that such an algebra is subdirectly irreducible if and only if its congruence lattice is either a 2-element chain or a 3-element chain. In particular, there are precisely eight non-isomorphic subdirectly irreducible Stone de Morgan algebras.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Monadic Operators on Modal Pseudocomplemented De Morgan Algebras and Tetravalent Modal Algebras.Aldo Figallo Orellano & Inés Pascual - 2019 - Studia Logica 107 (4):591-611.
    In our paper, monadic modal pseudocomplemented De Morgan algebras are considered following Halmos’ studies on monadic Boolean algebras. Hence, their topological representation theory is used successfully. Lattice congruences of an mmpM is characterized and the variety of mmpMs is proven semisimple via topological representation. Furthermore and among other things, the poset of principal congruences is investigated and proven to be a Boolean algebra; therefore, every principal congruence is a Boolean congruence. All these conclusions contrast sharply with known results for monadic (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Symmetric operators on modal pseudocomplemented De Morgan algebras.Aldo Figallo-Orellano, Alicia Ziliani & Martín Figallo - 2017 - Logic Journal of the IGPL 25 (4):496-511.
    Download  
     
    Export citation  
     
    Bookmark   1 citation