An intensional Schrödinger logic

DOI10.1305/ndjfl/1039724886zbMath0901.03024OpenAlexW2077238431MaRDI QIDQ1381433

Décio Krause, Newton C. A. Da Costa

Publication date: 19 November 1998

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039724886

zbMATH Keywords

higher-order logicquantum logicsemanticsfoundations of quantum mechanicsintensional logicquasi-set theorySchrödinger logicexistence of indistinguishable but non-identical elements

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Related Items (6)

Quantum sortal predicates ⋮ The quasi-lattice of indiscernible elements ⋮ A modal-Hamiltonian interpretation of quantum mechanics ⋮ A modal ontology of properties for quantum mechanics ⋮ Q-spaces and the foundations of quantum mechanics ⋮ Quantum mechanics: ontology without individuals

Cites Work

• On a quasi-set theory
• Quantum logic
• Schrödinger logics
• A formal framework for quantum non-individuality.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An intensional Schrödinger logic