Quantum Institutions

DOI10.1007/11780274_4MaRDI QIDQ5757918zbMATH OpenOpenAlexFDO

Authors Paulo Mateus, Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas

Publication date 7 September 2007

Published in Algebra, Meaning, and Computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Quantum logic (03G12) Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• Conditionals, Information, and Inference
• scientific article; zbMATH DE number 1931657
• Probabilistic logic of quantum observations
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Quantum theory as a relevant framework for the statement of probabilistic and many-valued logic

Cited in

(3)

• Topological systems as a framework for institutions
• Probabilization of logics: completeness and decidability
• Reasoning about probabilistic sequential programs

This page was built for publication: Quantum Institutions

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