Switch to: References

Citations of:

Free q-distributive lattices

Studia Logica 56 (1-2):23 - 29 (1996)

Add citations

You must login to add citations.
  1. Linear Heyting algebras with a quantifier.Laura Rueda - 2001 - Annals of Pure and Applied Logic 108 (1-3):327-343.
    A Q -Heyting algebra is an algebra of type such that is a Heyting algebra and the unary operation ∇ satisfies the conditions ∇0=0, a ∧∇ a = a , ∇=∇ a ∧∇ b and ∇=∇ a ∨∇ b , for any a , b ∈ H . This paper is devoted to the study of the subvariety QH L of linear Q -Heyting algebras. Using Priestley duality we investigate the subdirectly irreducible linear Q -Heyting algebras and, as consequences, we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Priestley duality for quasi-stone algebras.Hernando Gaitán - 2000 - Studia Logica 64 (1):83-92.
    In this paper we describe the Priestley space of a quasi-Stone algebra and use it to show that the class of finite quasi-Stone algebras has the amalgamation property. We also describe the Priestley space of the free quasi-Stone algebra over a finite set.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Varieties of three-valued Heyting algebras with a quantifier.M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz - 2000 - Studia Logica 65 (2):181-198.
    This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations