Quantum logics and Lindenbaum property
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.
scientific article; zbMATH DE number 4031687