Switch to: References

Add citations

You must login to add citations.
  1. Fuzzy Topology and Łukasiewicz Logics from the Viewpoint of Duality Theory.Yoshihiro Maruyama - 2010 - Studia Logica 94 (2):245-269.
    This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Łukasiewicz n -valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n -valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the algebras of modal Łukasiewicz n -valued logic with truth constants, which generalizes Jónsson-Tarski duality for modal algebras to the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Maximal subalgebras of MVn-algebras. A proof of a conjecture of A. Monteiro.Roberto Cignoli & Luiz Monteiro - 2006 - Studia Logica 84 (3):393 - 405.
    For each integer n ≥ 2, MVn denotes the variety of MV-algebras generated by the MV-chain with n elements. Algebras in MVn are represented as continuous functions from a Boolean space into a n-element chain equipped with the discrete topology. Using these representations, maximal subalgebras of algebras in MVn are characterized, and it is shown that proper subalgebras are intersection of maximal subalgebras. When A ∈ MV3, the mentioned characterization of maximal subalgebras of A can be given in terms of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Maximal Subalgebras of MVn-algebras. A Proof of a Conjecture of A. Monteiro.Roberto Cignoli & Luiz Monteiro - 2006 - Studia Logica 84 (3):393-405.
    For each integer n ≥ 2, MVn denotes the variety of MV-algebras generated by the MV-chain with n elements. Algebras in MVn are represented as continuous functions from a Boolean space into a n-element chain equipped with the discrete topology. Using these representations, maximal subalgebras of algebras in MVn are characterized, and it is shown that proper subalgebras are intersection of maximal subalgebras. When A ∈ MV3, the mentioned characterization of maximal subalgebras of A can be given in terms of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•