Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/on-priestley-spaces-of-lattice-ordered-algebraic-structures-0471triPYU
References (34)
-
R. Cignoli, A. Torrens (1992)
Ordered spectra and Boolean products of MV-algebras -
R. Cignoli, T. Elliot, D. Mundici (1993)
Reconstructing C*-algebras from their Murray von Neumann ordersAdv. in Math., 101
-
(1989)
Lattice-Ordered Groups -
A. Horn (1969)
Logic with truth values in A linearly ordered heyting algebraJ. Symbolic Logic, 34
-
J. Font, A. J. Rodriguez, A. Torrens (1984)
Wajsberg algebrasStochastica, 8
-
R. Cignoli (1993)
Reconstructing C*-Algebras from Their Murray von Neumann OrdersAdv. in Math., 101
-
D. Mundici (1986)
Interpretation of AF C∗-algebras in Łukasiewicz sentential calculusJ. Funct. Anal., 65
-
N. G. Martínez (1994)
A topological duality for some lattice-ordered algebraic structures including l-groupsAlgebra Universalis, 31
-
A. Urquhart (1979)
Distributive lattices with a dual homomorphic operationStudia Logica, 38
-
N. G. Martínez (1990)
The Priestley duality for Wajsberg algebrasStudia Logica, 49
-
B. A. Davey, H. A. Priestley (1990)
Introduction to Lattices and Order -
H. Rasiowa (1974)
An Algebraic Approach to non-Classical Logics -
H. A. Priestley (1972)
Representation of Distributive Lattices by means of ordered Stone SpacesBull. London Math. Soc., 2
-
A. Horn (1969)
Logic with truth values in a linearly ordered Heyting algebraJ. Symbolic Logic, 34
-
A. Bigard (1977)
Groupes et Anneaux Réticulés -
N. G. Martínez (1990)
The Priestley duality for Wajsberg algebrasStudia Logica, 49
-
D. Mundici (1986)
Interpretation of AF-C *-Algebras in Łukasiewicz sentential calculusJ. Funct. Anal., 65
-
H. A. Priestley (1975)
Proc. London Math. Soc. 3, 24
-
A. Urquhart (1979)
Distributive lattices with a dual homomorphic operationStudia Logica, 38
-
C. C. Chang (1958)
Algebraic analysis of many valued logicsTrans. Amer. Math. Soc., 88
-
H. A. Priestley (1972)
Representation of distributive lattices by means of ordered Stone spacesBull. London Math. Soc., 2
-
B. A. Davey, H. Werner (1983)
Contributions to Lattice Theory -
C. C. Chang (1958)
Algebraic analysis of many valued logicsTrans. Amer. Math. Soc., 88
-
T. S. Blyth (1994)
Ockham Algebras -
T. S. Blyth, J. C. Varlet (1994)
Ockham Algebras -
W. H. Cornish (1977)
Coproducts of De Morgan algebrasBull. Austral. Math. Soc., 16
-
J. Font (1984)
Stochastica, 8
-
N. G. Martínez (1996)
A simplified duality for implicative lattices and l-groupsStudia Logica, 56
-
A. Bigard, K. Keimel, S. Wolfenstein (1977)
Groupes et Anneaux Réticulés -
N. G. Martínez (1996)
A simplified duality for implicative lattices and l-groupsStudia Logica, 56
-
N. G. Martínez (1994)
A topological duality for some lattice ordered algebraic structures including ?-groupsAlgebra Universalis, 31
-
W. H. Cornish, P. R. Fowler (1977)
Coproducts of de Morgan AlgebrasBull. Austral. Math. Soc., 16
-
R. Balbes, P. Dwinger (1974)
Distributive Lattices -
H. A. Priestley (1975)
Ordered topological spaces and the representation of distributive latticesProc. London Math. Soc. 3, 24
- Publisher
- Springer Journals
- Copyright
- Copyright © 1998 by Kluwer Academic Publishers
- Subject
- Mathematics; Theory of Computation; Geometry; Convex and Discrete Geometry
- ISSN
- 0167-8094
- eISSN
- 1572-9273
- DOI
- 10.1023/A:1006224930256
- Publisher site
- See Article on Publisher Site
Abstract
The laws defining many important varieties of lattice-ordered algebras, such as linear Heyting algebras, MV-algebras and l-groups, can be cast in a form which allows dual representations to be derived in a very direct, and semi-automatic, way. This is achieved by developing a new duality theory for implicative lattices, which encompass all the varieries above. The approach focuses on distinguished subsets of the prime lattice filters of an implicative lattice, ordered as usual by inclusion. A decomposition theorem is proved, and the extent to which the order on the prime lattice filters determines the implicative structure is thereby revealed.
Journal
Order – Springer Journals
Published: Oct 8, 2004