Logical connectives on lattice effect algebras (Q1935557)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6136995
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Logical connectives on lattice effect algebras |
scientific article; zbMATH DE number 6136995 |
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
0.8224644064903259
0 references
0.8142554759979248
0 references
0.7649106979370117
0 references
