Computer proof of monotonicity of operations on orthomodular lattices (Q2446438)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer proof of monotonicity of operations on orthomodular lattices |
scientific article |
Statements
Computer proof of monotonicity of operations on orthomodular lattices (English)
0 references
16 April 2014
0 references
orthomodular lattice
0 references
free lattice
0 references
generator
0 references
orthocomplement
0 references
Kalmbach embedding
0 references
horizontal sum
0 references
