We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
Logical Connectives on Lattice Effect Algebras.
- Authors
Foulis, D.; Pulmannová, S.
- Abstract
An effect algebra is a partial algebraic structure, originally formulated as an algebraic base for unsharp quantum measurements. In this article we present an approach to the study of lattice effect algebras (LEAs) that emphasizes their structure as algebraic models for the semantics of (possibly) non-standard symbolic logics. This is accomplished by focusing on the interplay among conjunction, implication, and negation connectives on LEAs, where the conjunction and implication connectives are related by a residuation law. Special cases of LEAs are MV-algebras and orthomodular lattices. The main result of the paper is a characterization of LEAs in terms of so-called Sasaki algebras. Also, we compare and contrast LEAs, Hájek's BL-algebras, and the basic algebras of Chajda, Halaš, and Kühr.
- Subjects
NEGATION (Logic); LATTICE theory; EFFECT algebras; ORTHOMODULAR lattices; MODULAR lattices; MATHEMATICAL models; SEMANTICS
- Publication
Studia Logica, 2012, Vol 100, Issue 6, p1291
- ISSN
0039-3215
- Publication type
Article
- DOI
10.1007/s11225-012-9454-3