Schrödinger logics

DOI10.1007/BF01057649zbMath0816.03032OpenAlexW4249628655MaRDI QIDQ1338481

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

Publication date: 20 July 1995

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01057649

zbMATH Keywords

indistinguishabilitytype theoryidentityLeibniz lawSchrödinger logic

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Philosophical and critical aspects of logic and foundations (03A05) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (5)

An intensional Schrödinger logic ⋮ 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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multiset theory
• On a quasi-set theory
• Pragmatic truth and approximation to truth
• Completeness in the theory of types
• Logic of many-sorted theories

This page was built for publication: Schrödinger logics