Equational bases for some varieties of orthomodular lattices related to states
type: Item
instance of: scholarly article
title: Equational bases for some varieties of orthomodular lattices related to states
zbMATH Open document ID: 0618.06003
DOI: 10.1007/BF01237719
author: René Mayet
published in: Algebra Universalis
publication date: 1986-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 06C15
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 46L30
Mathematics Subject Classification ID: 06B20
Mathematics Subject Classification ID: 08B05
Mathematics Subject Classification ID: 81P10
zbMATH DE Number: 4002145
zbMATH Keywords: varieties of orthomodular lattices
zbMATH Keywords: states
zbMATH Keywords: equations
zbMATH Keywords: recursive equational base
zbMATH Keywords: finite orthomodular lattice
reviewed by: Pavel Pták
MaRDI profile type: Publication
cites work: Q3952094
cites work: VARIETIES OF ORTHOMODULAR LATTICES WITH A STRONGLY FULL SET OF STATES
cites work: STATES ON ORTHOMODULAR LATTICES
cites work: SOME EQUATIONS RELATED TO STATES ON ORTHOMODULAR LATTICES
cites work: Orthomodular lattices admitting no states
cites work: Varieties of orthomodular lattices related to states
cites work: Non-standard analysis
full work available at URL: https://doi.org/10.1007/bf01237719
OpenAlex ID: W2075226191
description: scientific article; zbMATH DE number 4002145