Frontal Operators in Weak Heyting Algebras
Studia Logica 100 (1-2):91-114 (2012)
| Abstract | In this paper we shall introduce the variety FWHA of frontal weak Heyting algebras as a generalization of the frontal Heyting algebras introduced by Leo Esakia in [ 10 ]. A frontal operator in a weak Heyting algebra A is an expansive operator τ preserving finite meets which also satisfies the equation $${\tau(a) \leq b \vee (b \rightarrow a)}$$, for all $${a, b \in A}$$. These operators were studied from an algebraic, logical and topological point of view by Leo Esakia in [ 10 ]. We will study frontal operators in weak Heyting algebras and we will consider two examples of them. We will give a Priestley duality for the category of frontal weak Heyting algebras in terms of relational spaces $${\langle X, \leq, T, R \rangle}$$ where $${\langle X, \leq, T \rangle}$$ is a WH -space [ 6 ], and R is an additional binary relation used to interpret the modal operator. We will also study the WH -algebras with successor and the WH -algebras with gamma. For these varieties we will give two topological dualities. The first one is based on the representation given for the frontal weak Heyting algebras. The second one is based on certain particular classes of WH -spaces | |||||||||
| 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesLuisa Iturrioz (1995). Symmetrical Heyting Algebras with a Finite Order Type of Operators. Studia Logica 55 (1):89 - 98.
B. A. Davey & H. A. Priestley (1996). Optimal Natural Dualities for Varieties of Heyting Algebras. Studia Logica 56 (1-2):67 - 96.
Valeria Castaño & Marcela Muñoz Santis (2011). Subalgebras of Heyting and De Morgan Heyting Algebras. Studia Logica 98 (1-2):123-139.
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.
Andrzej Sendlewski (1990). Nelson Algebras Through Heyting Ones: I. Studia Logica 49 (1):105 - 126.
Guram Bezhanishvili (1999). Varieties of Monadic Heyting Algebras Part II: Duality Theory. Studia Logica 62 (1):21-48.
Gonzalo E. Reyes & Houman Zolfaghari (1996). Bi-Heyting Algebras, Toposes and Modalities. Journal of Philosophical Logic 25 (1):25 - 43.
Leo Esakia & Benedikt Löwe (2012). Fatal Heyting Algebras and Forcing Persistent Sentences. Studia Logica 100 (1-2):163-173.
Guram Bezhanishvili (1998). Varieties of Monadic Heyting Algebras. Part I. Studia Logica 61 (3):367-402.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Brian A. Davey & John C. Galati (2003). A Coalgebraic View of Heyting Duality. Studia Logica 75 (3):259 - 270.
H. P. Sankappanavar (2011). Expansions of Semi-Heyting Algebras I: Discriminator Varieties. Studia Logica 98 (1-2):27-81.
Rodolfo Cristian Ertola Biraben & Hernán Javier San Martín (2011). On Some Compatible Operations on Heyting Algebras. Studia Logica 98 (3):331-345.
Katarzyna Idziak & Pawel M. Idziak (1988). Decidability Problem for Finite Heyting Algebras. Journal of Symbolic Logic 53 (3):729-735.
Fabio Bellissima (1986). Finitely Generated Free Heyting Algebras. Journal of Symbolic Logic 51 (1):152-165.
Analytics
Monthly downloads |
Added to index2012-02-05Total downloads11 ( #99,523 of 549,087 )Recent downloads (6 months)1 ( #63,317 of 549,087 )How can I increase my downloads? |
My notes
Discussion
