A complete axiomatisation of logic of lattice effect algebras

Soroush Rafiee Rad; Amirhossein Sharafi; Sonja Smets

doi:10.1007/s10773-019-04074-y

A complete axiomatisation of logic of lattice effect algebras

Soroush Rafiee Rad, Amirhossein Sharafi, Sonja Smets

Philosophy

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	696-709
Journal	International Journal of Theoretical Physics
Volume	60
Early online date	22 Apr 2019
DOIs	https://doi.org/10.1007/s10773-019-04074-y
Publication status	Published - 1 Feb 2021

Access to Document

10.1007/s10773-019-04074-y

Cite this

@article{13544c5de3444145b71576e4a2d76aed,

title = "A complete axiomatisation of logic of lattice effect algebras",

abstract = "In a recent work Foulis and Pulmannov{\'a} (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.",

author = "{Rafiee Rad}, Soroush and Amirhossein Sharafi and Sonja Smets",

year = "2021",

month = feb,

day = "1",

doi = "10.1007/s10773-019-04074-y",

language = "English",

volume = "60",

pages = "696--709",

journal = "International Journal of Theoretical Physics",

issn = "0020-7748",

publisher = "Springer",

}

TY - JOUR

T1 - A complete axiomatisation of logic of lattice effect algebras

AU - Rafiee Rad, Soroush

AU - Sharafi, Amirhossein

AU - Smets, Sonja

PY - 2021/2/1

Y1 - 2021/2/1

N2 - 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.

AB - 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.

U2 - 10.1007/s10773-019-04074-y

DO - 10.1007/s10773-019-04074-y

M3 - Article

SN - 0020-7748

VL - 60

SP - 696

EP - 709

JO - International Journal of Theoretical Physics

JF - International Journal of Theoretical Physics

ER -

A complete axiomatisation of logic of lattice effect algebras

Abstract

Access to Document

Fingerprint

Cite this