Subalgebras of Heyting and De Morgan Heyting Algebras
Studia Logica 98 (1-2):123-139 (2011)
| Abstract | In this paper we obtain characterizations of subalgebras of Heyting algebras and De Morgan Heyting algebras. In both cases we obtain these characterizations by defining certain equivalence relations on the Priestley-type topological representations of the corresponding algebras. As a particular case we derive the characterization of maximal subalgebras of Heyting algebras given by M. Adams for the finite case | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesB. A. Davey & H. A. Priestley (1996). Optimal Natural Dualities for Varieties of Heyting Algebras. Studia Logica 56 (1-2):67 - 96.
M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz (2000). Varieties of Three-Valued Heyting Algebras with a Quantifier. Studia Logica 65 (2):181-198.
Georges Hansoul (1996). Priestley Duality for Some Subalgebra Lattices. Studia Logica 56 (1-2):133 - 149.
Guram Bezhanishvili (1999). Varieties of Monadic Heyting Algebras Part II: Duality Theory. Studia Logica 62 (1):21-48.
Sergio A. Celani & Hernán J. San Martín (2012). Frontal Operators in Weak Heyting Algebras. Studia Logica 100 (1-2):91-114.
H. P. Sankappanavar (2011). Expansions of Semi-Heyting Algebras I: Discriminator Varieties. Studia Logica 98 (1-2):27-81.
Silvio Ghilardi (1999). Unification in Intuitionistic Logic. Journal of Symbolic Logic 64 (2):859-880.
Guram Bezhanishvili (1998). Varieties of Monadic Heyting Algebras. Part I. Studia Logica 61 (3):367-402.
Andrzej Sendlewski (1990). Nelson Algebras Through Heyting Ones: I. Studia Logica 49 (1):105 - 126.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Luisa Iturrioz (1995). Symmetrical Heyting Algebras with a Finite Order Type of Operators. Studia Logica 55 (1):89 - 98.
Leo Esakia & Benedikt Löwe (2012). Fatal Heyting Algebras and Forcing Persistent Sentences. Studia Logica 100 (1-2):163-173.
Katarzyna Idziak & Pawel M. Idziak (1988). Decidability Problem for Finite Heyting Algebras. Journal of Symbolic Logic 53 (3):729-735.
Roberto Cignoli & Luiz Monteiro (2006). Maximal Subalgebras of MVn-Algebras. A Proof of a Conjecture of A. Monteiro. Studia Logica 84 (3).
Brian A. Davey & John C. Galati (2003). A Coalgebraic View of Heyting Duality. Studia Logica 75 (3):259 - 270.
Analytics
Monthly downloads |
Added to index2011-07-20Total downloads3 ( #201,695 of 548,977 )Recent downloads (6 months)1 ( #63,511 of 548,977 )How can I increase my downloads? |
My notes
Discussion
