Switch to: References

Add citations

You must login to add citations.
  1. Priestley duality for some subalgebra lattices.Georges Hansoul - 1996 - Studia Logica 56 (1-2):133 - 149.
    Priestley duality can be used to study subalgebras of Heyting algebras and related structures. The dual concept is that of congruence on the dual space and the congruence lattice of a Heyting space is dually isomorphic to the subalgebra lattice of the dual algebra. In this paper we continue our investigation of the congruence lattice of a Heyting space that was undertaken in [10], [8] and [12]. Our main result is a characterization of the modularity of this lattice (Theorem 2.12). (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Automorphisms of substructure lattices in recursive algebra.David R. Guichard - 1983 - Annals of Pure and Applied Logic 25 (1):47-58.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark