The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capturing the precise relationships between the logics that are obtained, and, furthermore, helps in analyzing some of the key design decisions and opens the way to make the approach more useful and, at the same time, more abstract. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Caleiro, C., Mateus, P., Sernadas, A., & Sernadas, C. (2006). Quantum institutions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4060 LNCS, pp. 50–64). Springer Verlag. https://doi.org/10.1007/11780274_4
Mendeley helps you to discover research relevant for your work.