Logical quantization of topos theory

DOI10.1007/BF02085763MaRDI QIDQ2365463zbMATH OpenFDO

Authors Hirokazu Nishimura

Publication date 4 August 1997

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

zbMATH Keywords

classifying toposlaminationBoolean localic toposes2-category theorymanual of Boolean locales

Mathematics Subject Classification ID

Quantum logic (03G12) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Fibered categories (18D30)

Recommendations

• The logical quantization of algebraic groups
• Manuals in orthogonal categories
• scientific article; zbMATH DE number 4079712

Cites work

• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 192841 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 3289430 (Why is no real title available?)
• scientific article; zbMATH DE number 3399453 (Why is no real title available?)
• scientific article; zbMATH DE number 3411031 (Why is no real title available?)
• A classification of type I \(AW^*\)-algebras and Boolean valued analysis
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Empirical quantum mechanics
• Empirical set theory
• Empirical sets
• La conjecture de Weil. I
• Logical quantization of differential geometry
• Logical quantizations of first-order structures
• Manuals in orthogonal categories
• Modules Over Operator Algebras
• Operational Statistics. I. Basic Concepts
• Operational statistics. II. Manuals of operations and their logics
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• The logical quantization of algebraic groups
• Topoi. The categorial analysis of logic
• Two Applications of Logic to Mathematics

Cited in

(9)

• Propositional quantification in the topological semantics for \(\mathbf S4\)
• Empirical quantum mechanics
• Theory of microcubes
• scientific article; zbMATH DE number 4019035 (Why is no real title available?)
• Logical quantization of differential geometry
• Topological representation and quantic separation axioms of semi-quantales
• Topos-based logic for quantum systems and bi-Heyting algebras
• The logical quantization of algebraic groups
• Triposes, q-toposes and toposes

This page was built for publication: Logical quantization of topos theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2365463)