MV and Heyting Effect Algebras

Foundations of Physics 30 (10):1687-1706 (2000)
  Copy   BIBTEX

Abstract

We review the fact that an MV-algebra is the same thing as a lattice-ordered effect algebra in which disjoint elements are orthogonal. An HMV-algebra is an MV-effect algebra that is also a Heyting algebra and in which the Heyting center and the effect-algebra center coincide. We show that every effect algebra with the generalized comparability property is an HMV-algebra. We prove that, for an MV-effect algebra E, the following conditions are mutually equivalent: (i) E is HMV, (ii) E has a center valued pseudocomplementation, (iii) E admits a central cover mapping γ such that, for all p, q∈E, p∧q=0⇒γ(p)∧q=0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Type-Decomposition of an Effect Algebra.David J. Foulis & Sylvia Pulmannová - 2010 - Foundations of Physics 40 (9-10):1543-1565.
Effect Algebras Are Not Adequate Models for Quantum Mechanics.Stan Gudder - 2010 - Foundations of Physics 40 (9-10):1566-1577.
Phi-symmetric effect algebras.M. K. Bennett & D. J. Foulis - 1995 - Foundations of Physics 25 (12):1699-1722.
Kite Pseudo Effect Algebras.Anatolij Dvurečenskij - 2013 - Foundations of Physics 43 (11):1314-1338.
On Vaught’s Conjecture and finitely valued MV algebras.Antonio Di Nola & Giacomo Lenzi - 2012 - Mathematical Logic Quarterly 58 (3):139-152.

Analytics

Added to PP
2013-11-22

Downloads
30 (#550,897)

6 months
2 (#1,259,876)

Historical graph of downloads
How can I increase my downloads?

References found in this work

The theory of Representations for Boolean Algebras.M. H. Stone - 1936 - Journal of Symbolic Logic 1 (3):118-119.
Effect algebras and unsharp quantum logics.D. J. Foulis & M. K. Bennett - 1994 - Foundations of Physics 24 (10):1331-1352.
Paraconsistent quantum logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1989 - Foundations of Physics 19 (7):891-904.
Lattice Theory.Garrett Birkhoff - 1950 - Journal of Symbolic Logic 15 (1):59-60.

View all 10 references / Add more references