Quantum logics and Lindenbaum property
type: Item
instance of: scholarly article
title: Quantum logics and Lindenbaum property
zbMATH Open document ID: 0634.03065
DOI: 10.1007/BF00396903
author: Roberto Giuntini
published in: Studia Logica
publication date: 1987-01-01T00:00:00Z
review text: It is shown that both orthomodular quantum logics (orthomodular lattices) and partial classical logics (based on partial Boolean algebras) cannot satisfy the Lindenbaum property, which asserts that any semantically non- contradictory set of formulas admits a semantically non-contradictory extension.
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 81P10
Mathematics Subject Classification ID: 81P20
zbMATH DE Number: 4031687
zbMATH Keywords: partial quantum logic
zbMATH Keywords: orthomodular quantum logics
zbMATH Keywords: orthomodular lattices
zbMATH Keywords: partial classical logics
zbMATH Keywords: partial Boolean algebras
zbMATH Keywords: Lindenbaum property
reviewed by: Anatolij Dvurečenskij
MaRDI profile type: Publication
cites work: Q3346311
cites work: Logics based on partial Boolean \(\sigma\)-algebras. I
cites work: Logics based on partial Boolean \(\sigma\)-algebras. II
cites work: Q4023197
cites work: Q3245484
cites work: Semantic analysis of orthologic
cites work: Q5557878
cites work: Q5534907
cites work: Q5536167
cites work: The permutability in a certain orthocomplemented lattice
full work available at URL: https://doi.org/10.1007/bf00396903
OpenAlex ID: W1985848540
description: scientific article; zbMATH DE number 4031687