Quantum Institutions

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 he approach more useful and, at the same time, more abstract.

• Type: Conference
• Year: 2006
• Where: BIRTHDAY
• Authors: Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
• Keywords: Applied Computing, Base Logic, BIRTHDAY 2006, Exogenous Approach, Key Design Decisions