Equational bases for some varieties of orthomodular lattices related to states (Q1089015)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Publication:1089015 |
scientific article; zbMATH DE number 4002145
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Equational bases for some varieties of orthomodular lattices related to states |
scientific article; zbMATH DE number 4002145 |
Statements
Equational bases for some varieties of orthomodular lattices related to states (English)
0 references
1986
0 references
In his former paper [Algebra Univers. 20, 368-396 (1985; Zbl 0581.06006)] the author studied varieties of orthomodular lattices which were determined by conditions on states. In this paper he considers equations valid in those varieties and shows that many of the varieties admit a recursive equational base. He also develops a constructive procedure for obtaining an equation valid in a given finite orthomodular lattice outside a variety.
0 references
varieties of orthomodular lattices
0 references
states
0 references
equations
0 references
recursive equational base
0 references
finite orthomodular lattice
0 references
0.8412073254585266
0 references
0.8362770080566406
0 references
0.7938453555107117
0 references
0.7922248244285583
0 references
