Quantum Institutions

DOI10.1007/11780274_4zbMath1132.03354OpenAlexW4251072890MaRDI QIDQ5757918

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

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

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

Related Items (3)

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

This page was built for publication: Quantum Institutions