The Universal Group of a Heyting Effect Algebra

Studia Logica 84 (3):407-424 (2006)
  Copy   BIBTEX

Abstract

A Heyting effect algebra 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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

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

MV and Heyting Effect Algebras.D. J. Foulis - 2000 - Foundations of Physics 30 (10):1687-1706.
Inquisitive Heyting Algebras.Vít Punčochář - 2021 - Studia Logica 109 (5):995-1017.
Phi-symmetric effect algebras.M. K. Bennett & D. J. Foulis - 1995 - Foundations of Physics 25 (12):1699-1722.

Analytics

Added to PP
2016-02-04

Downloads
20 (#791,515)

6 months
6 (#588,321)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Algebraic foundations of many-valued reasoning.Roberto Cignoli - 1999 - Boston: Kluwer Academic Publishers. Edited by Itala M. L. D'Ottaviano & Daniele Mundici.
Effect algebras and unsharp quantum logics.D. J. Foulis & M. K. Bennett - 1994 - Foundations of Physics 24 (10):1331-1352.
Phi-symmetric effect algebras.M. K. Bennett & D. J. Foulis - 1995 - Foundations of Physics 25 (12):1699-1722.
MV and Heyting Effect Algebras.D. J. Foulis - 2000 - Foundations of Physics 30 (10):1687-1706.

View all 6 references / Add more references