Orthocomplemented lattices with a symmetric difference (Q1047085)
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 5652277
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Orthocomplemented lattices with a symmetric difference |
scientific article; zbMATH DE number 5652277 |
Statements
Orthocomplemented lattices with a symmetric difference (English)
0 references
4 January 2010
0 references
The central notion of this paper is the so-called orthocomplemented difference lattice (shortly ODL). This is an ortholattice endowed with an additional binary operation (the so-called symmetric difference) satisfying certain axioms. Every ODL induces a corresponding orthomodular lattice. Valuations, set-representable ODLs (shortly SRODLs), several types of ideals as well as horizontal sums of Boolean algebras are considered. SRODLs are characterized by means of the existence of certain valuations respectively ideals and it is shown that the class of all SRODLs forms a variety. Examples of ODLs being not set-representable are given.
0 references
orthocomplemented difference lattice
0 references
ortholattice
0 references
symmetric difference
0 references
orthomodular lattice
0 references
evaluation
0 references
set-representable
0 references
ideal
0 references
horizontal sum
0 references
Boolean algebra
0 references
variety
0 references
0.9106566309928894
0 references
0.8725588321685791
0 references
0.8611852526664734
0 references
0.8527417778968811
0 references
0.8359419703483582
0 references
