Orthocomplemented lattices with a symmetric difference (Q1047085): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s00012-009-2105-5 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2069664407 / rank | |||
Normal rank | |||
Revision as of 20:58, 19 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Orthocomplemented lattices with a symmetric difference |
scientific article |
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
