On (finite) distributive lattices with antitone involutions. (Q894667): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q334969 |
||
Property / reviewed by | |||
Property / reviewed by: Ivan Chajda / rank | |||
Revision as of 05:55, 13 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On (finite) distributive lattices with antitone involutions. |
scientific article |
Statements
On (finite) distributive lattices with antitone involutions. (English)
0 references
2 December 2015
0 references
Basic algebras are equivalent to bounded lattices with sectional antitone involutions. If this lattice is distributive, the assigned basic algebra is called distributive. It is proved that for every finite distributive basic algebra its underlying lattice is a direct product of chains. Every so-called weakly monotone basic algebra is distributive. Moreover, every finite weakly monotone basic algebra is an MV-algebra. Sharp elements in weakly monotone basic algebras are studied. For every weakly monotone basic algebra \(A\), the set \(S(A)\) of its sharp elements is a subalgbera of \(A\) which is in fact a Boolean algebra. Direct decompositions of weakly monotone basic algebras are characterized.
0 references
distributive lattices with involution
0 references
De Morgan algebras
0 references
basic algebras
0 references
MV-algebras
0 references
sharp elements
0 references
weakly monotone basic algebras
0 references
distributive basic algebras
0 references