A Complete Axiomatisation for the Logic of Lattice Effect Algebras
Logic
2019-05-22 v3
Abstract
In a recent work Foulis and Pulmannov\' a \cite{Foulis2012} 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.
Keywords
Cite
@article{arxiv.1808.01670,
title = {A Complete Axiomatisation for the Logic of Lattice Effect Algebras},
author = {Soroush Rafiee Rad and Amir Hossein Sharafi and Sonja Smets},
journal= {arXiv preprint arXiv:1808.01670},
year = {2019}
}
Comments
15 pagws, 2 figures