Logical Connectives on Lattice Effect Algebras

  • Authors:
  • D. J. Foulis;S. Pulmannová

  • Affiliations:
  • Emeritus Professor of Mathematics, University of Massachusetts Amherst, Amherst, USA 01002;Mathematical Institute, Slovak Academy of Sciences, Bratislava, Slovakia SK-814 73

  • Venue:
  • Studia Logica
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

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.