Representations of empirical set theories

DOI10.1007/BF00670784zbMath0804.03043MaRDI QIDQ1330094

Hirokazu Nishimura

Publication date: 15 August 1994

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

zbMATH Keywords

orthomodular posetGelfand- Naimark-Segal theoremmanual of Hilbert localesmanual of operationsmanuals of Boolean localessecond-class orthomodular manual

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Nonclassical and second-order set theories (03E70)

Related Items (6)

Manuals in orthogonal categories ⋮ Empirical algebraic geometry ⋮ The logical quantization of algebraic groups ⋮ Logical quantization of differential geometry ⋮ Logical quantizations of first-order structures ⋮ Empirical quantum mechanics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partial Boolean algebras in a broader sense
• Empirical set theory
• Semantic alternatives in partial Boolean quantum logic
• Connections among quantum logics. I: Quantum propositional logics
• Connections among quantum logics. II: Quantum event logics
• Realistic quantum probability
• Constructivism in mathematics. An introduction. Volume II
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Logics based on partial Boolean \(\sigma\)-algebras. I
• Logics based on partial Boolean \(\sigma\)-algebras. II
• On the duality between Boolean-valued analysis and reduction theory under the assumption of separability
• Hilbertian Interpretations of Manuals
• Operational Statistics. I. Basic Concepts
• Operational statistics. II. Manuals of operations and their logics
• Irreducible representations of operator algebras

This page was built for publication: Representations of empirical set theories