A Complete Axiomatisation for the Logic of Lattice Effect Algebras

In a recent work Foulis and Pulmannová (Stud. Logica. 100 (6), 1291–1315, 2012 ) studied the logical connectives in lattice effect algebras. In this paper we extend their study and investigate further the logical calculus for which the lattice effect algebras can serve as semantic models. We shall f...

Full description

Saved in:
Bibliographic Details
Published in:International journal of theoretical physics 2021-02, Vol.60 (2), p.696-709
Main Authors: Rafiee Rad, Soroush, Sharafi, Amir Hossein, Smets, Sonja
Format: Article
Language:English
Subjects:
Algebra
Axioms
Elementary Particles
Mathematical and Computational Physics
Physics
Physics and Astronomy
Quantum Field Theory
Quantum Physics
Theoretical
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In a recent work Foulis and Pulmannová (Stud. Logica. 100 (6), 1291–1315, 2012 ) studied the logical connectives in lattice effect algebras. In this paper we extend their study and investigate further the logical calculus for which the lattice effect algebras can serve as semantic models. We shall first focus on some properties of lattice effect algebras and will then give a complete axiomatisation of this logic.
ISSN:0020-7748
1572-9575
DOI:10.1007/s10773-019-04074-y