Symmetrical Heyting algebras with a finite order type of operators
Studia Logica 55 (1):89 - 98 (1995)
| Abstract | The main purpose of this paper is to introduce a class of algebraic structures related to many-valued ukasiewicz algebras. They are symmetrical Heyting algebras with a set of modal operators indexed by a finite completely symmetric poset. A representation theorem is given for these (not functionally complete) algebras. | |||||||||
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesYde Venema (1995). Cylindric Modal Logic. Journal of Symbolic Logic 60 (2):591-623.
Guram Bezhanishvili (2000). Varieties of Monadic Heyting Algebras. Part III. Studia Logica 64 (2):215-256.
Guram Bezhanishvili (1999). Varieties of Monadic Heyting Algebras Part II: Duality Theory. Studia Logica 62 (1):21-48.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
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.
Guram Bezhanishvili (1998). Varieties of Monadic Heyting Algebras. Part I. Studia Logica 61 (3):367-402.
B. A. Davey & H. A. Priestley (1996). Optimal Natural Dualities for Varieties of Heyting Algebras. Studia Logica 56 (1-2):67 - 96.
Katarzyna Idziak & Pawel M. Idziak (1988). Decidability Problem for Finite Heyting Algebras. Journal of Symbolic Logic 53 (3):729-735.
Gonzalo E. Reyes & Houman Zolfaghari (1996). Bi-Heyting Algebras, Toposes and Modalities. Journal of Philosophical Logic 25 (1):25 - 43.
Valeria Castaño & Marcela Muñoz Santis (2011). Subalgebras of Heyting and De Morgan Heyting Algebras. Studia Logica 98 (1-2):123-139.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,428 of 549,113 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
