Repository | Book | Chapter
(2006) Algebra, meaning, and computation, Dordrecht, Springer.
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.
Publication details
DOI: 10.1007/11780274_4
Full citation:
Caleiro, C. , Sernadas, C. (2006)., Quantum institutions, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 50-64.
This document is unfortunately not available for download at the moment.