A theory of local negation: The model and some applications

DOI10.1007/BF02007562zbMath0597.03038MaRDI QIDQ3728898

Yvon Gauthier

Publication date: 1985

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/138043

zbMATH Keywords

finitenessBanach spacesHilbert spacequantum mechanicscomplementationlocalitymeasurementconstructivist semantics

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Other constructive mathematics (03F65)

Related Items (2)

Bibliography on quantum logics and related structures ⋮ Wittgenstein and finitism

Cites Work

• Quantum mechanics and the local observer
• Topoi. The categorial analysis of logic
• A remark on the domain of an unbounded derivation of a \(C^*\)-algebra
• Unbounded derivations of \(C^*\)-algebras
• Intuitionistic Logic and Local Mathematical Theories
• Another intuitionistic completeness proof
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• Constructible falsity
• Functional Operators (AM-22), Volume 2
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A theory of local negation: The model and some applications