Switch to: References

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  
  • Heyting $$\kappa $$-Frames.Hector Freytes & Giuseppe Sergioli - forthcoming - Studia Logica:1-44.
    In the framework of algebras with infinitary operations, the equational theory of $$\bigvee _{\kappa }$$ ⋁ κ -complete Heyting algebras or Heyting $$\kappa $$ κ -frames is studied. A Hilbert style calculus algebraizable in this class is formulated. Based on the infinitary structure of Heyting $$\kappa $$ κ -frames, an equational type completeness theorem related to the $$\langle \bigvee, \wedge, \rightarrow, 0 \rangle $$ ⟨ ⋁, ∧, →, 0 ⟩ -structure of frames is also obtained.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
    		•