Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\)

DOI10.1007/S10992-013-9270-XzbMath1345.03022OpenAlexW2088917393MaRDI QIDQ358692

John Harding

Publication date: 9 August 2013

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-013-9270-x

zbMATH Keywords

orthomodular latticedecidabilityequational theorycontinuous geometry

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Complemented lattices, orthocomplemented lattices and posets (06C15)

Related Items (3)

On geometric representations of modular ortholattices ⋮ On varieties of modular ortholattices that are generated by their finite-dimensional members. ⋮ On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Irreducible orthomodular lattices which are simple
• A note on the equational theory of modular ortholattices
• On the equational theory of projection lattices of finite von neumann factors
• Quantum logic as motivated by quantum computing

This page was built for publication: Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\)