Paraconsistent ideas in quantum logic

DOI10.1023/A:1005296018904MaRDI QIDQ1840966zbMATH OpenOpenAlexFDO

Authors Maria Luisa Dalla Chiara, Roberto Giuntini

Publication date 3 October 2001

Published in Synthese (Search for Journal in Brave)

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

zbMATH Keywords

effect structuresparaconsistent logicunsharp quantum logics

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Review text

Birkhoff and von Neumann's quantum logic is sharp in the sense that propositions correspond to exact possible properties of the physical system under investigation. Unsharp approaches to quantum theory were proposed by \textit{G. Ludwig} [Foundations of quantum mechanics, Vol. 1, Springer, Berlin (1983; Zbl 0509.46057)] and developed by Kraus, Davies, Mittelstaedt, Busch, Lahti, Bugajski, Beltrametti, Cattaneo and many others. This paper surveys effect structures and unsharp quantum logics, to which the authors themselves have contributed much.

Recommendations

• The paraconsistent logic of quantum superpositions
• Proof theory of paraconsistent quantum logic
• Quantum logic in intuitionistic perspective
• scientific article; zbMATH DE number 3939362
• scientific article; zbMATH DE number 1501640
• Logical paradoxes in quantum computation
• Partial quantum logics revisited
• Concrete quantum logics
• Quantum logic and nonclassical logics
• scientific article; zbMATH DE number 3937180

Cited in

(14)

• Fuzzy quantum logic. II: The logics of unsharp quantum mechanics
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Multimodal incompleteness under weak negations
• Paraconsistent Machines and their Relation to Quantum Computing
• Quantum-like logics and schizophrenia
• scientific article; zbMATH DE number 1776293 (Why is no real title available?)
• Extending paraconsistent quantum logic: a single-antecedent/succedent system approach
• An application of paraconsistent logic to physics: complementarity
• Paraconsistent Transition Systems
• Brouwer-Zadeh (fuzzy-intuitionistic) posets for unsharp quantum mechanics
• Paraconsistent relations as a variant of Kleene algebras
• Paraconsistent transition structures: compositional principles and a modal logic
• Where the truth lies: a paraconsistent approach to Bayesian epistemology
• Fock theories and quantum logics

This page was built for publication: Paraconsistent ideas in quantum logic

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