Abstract
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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Mateus, P., Sernadas, A.: Exogenous quantum logic. In: Carnielli, W.A., Dionísio, F.M., Mateus, P. (eds.) Proceedings of CombLog’04, Workshop on Combination of Logics: Theory and Applications, 1049-001 Lisboa, Portugal, Departamento de Matemática, Instituto Superior Técnico (2004), pp. 141–149 (2004), Extended abstract
Mateus, P., Sernadas, A.: Reasoning about quantum systems. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 239–251. Springer, Heidelberg (2004)
Mateus, P., Sernadas, A.: Weakly complete axiomatization of exogenous quantum propositional logic. Information and Computation (in print) ArXiv math.LO/0503453
Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)
Mateus, P., Sernadas, A., Sernadas, C.: Exogenous semantics approach to enriching logics. In: Sica, G. (ed.) Essays on the Foundations of Mathematics and Logic, Polimetrica. Advanced Studies in Mathematics and Logic, vol. 1, pp. 165–194 (2005)
Foulis, D.J.: A half-century of quantum logic. What have we learned? In: Quantum Structures and the Nature of Reality. Einstein Meets Magritte, vol. 7, pp. 1–36. Kluwer Academic Publishers, Dordrecht (1999)
Chiara, M.L.D., Giuntini, R., Greechie, R.: Reasoning in Quantum Theory. Kluwer Academic Publishers, Dordrecht (2004)
Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Annals of Mathematics 37, 823–843 (1936)
Nilsson, N.J.: Probabilistic logic. Artificial Intelligence 28, 71–87 (1986)
Nilsson, N.J.: Probabilistic logic revisited. Artificial Intelligence 59, 39–42 (1993)
Bacchus, F.: Representing and Reasoning with Probabilistic Knowledge. In: MIT Press Series in Artificial Intelligence, MIT Press, Cambridge (1990)
Bacchus, F.: On probability distributions over possible worlds. In: Uncertainty in Artificial Intelligence. Machine Intelligence and Pattern Recognition, vol. 4(9), pp. 217–226. North-Holland, Amsterdam (1990)
Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Information and Computation 87, 78–128 (1990)
Dishkant, H.: Semantics of the minimal logic of quantum mechanics. Studia Logica 30, 23–32 (1972)
Goguen, J., Burstall, R.: A study in the foundations of programming methodology: specifications, institutions, charters and parchments. In: Poigné, A., Pitt, D.H., Rydeheard, D.E., Abramsky, S. (eds.) Category Theory and Computer Programming. LNCS, vol. 240, pp. 313–333. Springer, Heidelberg (1986)
Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal of the ACM 39, 95–146 (1992)
Goguen, J., Roşu, G.: Institution morphisms. Formal Aspects of Computing 13, 274–307 (2002)
Meseguer, J.: General logics. In: Proceedings of the Logic Colloquium 1987, pp. 275–329. North- Holland, Amsterdam (1989)
Tarlecki, A.: Moving between logical systems. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol. 1130, pp. 478–502. Springer, Heidelberg (1996)
Mossakowski, T.: Different types of arrow between logical frameworks. In: Meyer auf der Heide, F., Monien, B. (eds.) ICALP 1996. LNCS, vol. 1099, pp. 158–169. Springer, Heidelberg (1996)
Cerioli, M., Meseguer, J.: May I borrow your logic (Transporting logical structures along maps). Theoretical Computer Science 173, 311–347 (1997)
Bridges, D.S.: Computability. Graduate Texts in Mathematics, vol. 146. Springer, Heidelberg (1994)
Caleiro, C., Carnielli, W.A., Coniglio, M.E., Marcos, J.: Two’s company: “The humbug of many logical values”. In: Béziau, J.Y. (ed.) Logica Universalis, pp. 169–189. Birkhäuser, Basel (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Caleiro, C., Mateus, P., Sernadas, A., Sernadas, C. (2006). Quantum Institutions. In: Futatsugi, K., Jouannaud, JP., Meseguer, J. (eds) Algebra, Meaning, and Computation. Lecture Notes in Computer Science, vol 4060. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11780274_4
Download citation
DOI: https://doi.org/10.1007/11780274_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35462-8
Online ISBN: 978-3-540-35464-2
eBook Packages: Computer ScienceComputer Science (R0)