Logical connectives on lattice effect algebras (Q1935557)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logical connectives on lattice effect algebras |
scientific article |
Statements
Logical connectives on lattice effect algebras (English)
0 references
18 February 2013
0 references
The authors study lattice effect algebras emphasizing their structure as algebraic models of non-standard symbolic logics by focusing on the interplay among conjunction (Sasaki mapping), implication and negation connectives. They characterize lattice effect algebras in terms of Sasaki algebras and compare lattice effect algebras, Hájek's BL-algebras, and the basic algebras of Chajda, Halaš and Kühr.
0 references
lattice effect algebra
0 references
MV-effect algebra
0 references
orthomodular lattice
0 references
BL-algebra
0 references
basic algebra
0 references
conjunction
0 references
implication
0 references
negation
0 references
residuation
0 references
Sasaki algebras
0 references
