Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\)
type: Item
instance of: scholarly article
title: Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\)
zbMATH Open document ID: 1345.03022
author: John Harding
published in: Journal of Philosophical Logic
publication date: 2013-08-09T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 06C15
zbMATH DE Number: 6197026
zbMATH Keywords: continuous geometry
zbMATH Keywords: equational theory
zbMATH Keywords: decidability
zbMATH Keywords: orthomodular lattice
MaRDI profile type: Publication
full work available at URL: s10992-013-9270-x
OpenAlex ID: W2088917393
cites work: Q5532570
cites work: Q3934450
cites work: On the equational theory of projection lattices of finite von neumann factors
cites work: A note on the equational theory of modular ortholattices
cites work: Irreducible orthomodular lattices which are simple
cites work: Q4750696
cites work: Quantum logic as motivated by quantum computing
cites work: Q5557964
DOI: 10.1007/S10992-013-9270-X
description: scientific article; zbMATH DE number 6197026