The universal group of a Heyting effect algebra
Studia Logica 84 (3):407 - 424 (2006)
| Abstract | A Heyting effect algebra (HEA) is a lattice-ordered effect algebra that is at the same time a Heyting algebra and for which the Heyting center coincides with the effect-algebra center. Every HEA is both an MV-algebra and a Stone-Heyting algebra and is realized as the unit interval in its own universal group. We show that a necessary and sufficient condition that an effect algebra is an HEA is that its universal group has the central comparability and central Rickart properties. | |||||||||
| 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,865 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesYoshihito Tanaka (2007). An Infinitary Extension of Jankov's Theorem. Studia Logica 86 (1):111 - 131.
T. S. Blyth & J. Fang (2011). On Endomorphisms of Ockham Algebras with Pseudocomplementation. Studia Logica 98 (1-2):237-250.
Alexander Budkin (2004). Dominions in Quasivarieties of Universal Algebras. Studia Logica 78 (1-2):107 - 127.
George Weaver (2003). The First-Order Theories of Dedekind Algebras. Studia Logica 73 (3):337 - 365.
George Weaver (2000). Homogeneous and Universal Dedekind Algebras. Studia Logica 64 (2):173-192.
Georges Hansoul (1996). Priestley Duality for Some Subalgebra Lattices. Studia Logica 56 (1-2):133 - 149.
V. B. Shehtman & D. P. Skvortsov (1986). Logics of Some Kripke Frames Connected with Medvedev Notion of Informational Types. Studia Logica 45 (1):101 - 118.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Bob Coecke (2002). Disjunctive Quantum Logic in Dynamic Perspective. Studia Logica 71 (1):47 - 56.
Leo Esakia & Benedikt Löwe (2012). Fatal Heyting Algebras and Forcing Persistent Sentences. Studia Logica 100 (1-2):163-173.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #234,562 of 556,773 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
