Skip to main content
SpringerLink
Log in
Book cover

Algebra, Meaning, and Computation pp 50–64Cite as

Quantum Institutions

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4060))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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

    Google Scholar 

  2. 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)

    Chapter  Google Scholar 

  3. Mateus, P., Sernadas, A.: Weakly complete axiomatization of exogenous quantum propositional logic. Information and Computation (in print) ArXiv math.LO/0503453

    Google Scholar 

  4. Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)

    MATH  Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. Chiara, M.L.D., Giuntini, R., Greechie, R.: Reasoning in Quantum Theory. Kluwer Academic Publishers, Dordrecht (2004)

    MATH  Google Scholar 

  8. Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Annals of Mathematics 37, 823–843 (1936)

    Article  MathSciNet  Google Scholar 

  9. Nilsson, N.J.: Probabilistic logic. Artificial Intelligence 28, 71–87 (1986)

    Article  MATH  MathSciNet  Google Scholar 

  10. Nilsson, N.J.: Probabilistic logic revisited. Artificial Intelligence 59, 39–42 (1993)

    Article  MathSciNet  Google Scholar 

  11. Bacchus, F.: Representing and Reasoning with Probabilistic Knowledge. In: MIT Press Series in Artificial Intelligence, MIT Press, Cambridge (1990)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Information and Computation 87, 78–128 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  14. Dishkant, H.: Semantics of the minimal logic of quantum mechanics. Studia Logica 30, 23–32 (1972)

    Article  MATH  MathSciNet  Google Scholar 

  15. 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)

    Google Scholar 

  16. Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal of the ACM 39, 95–146 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  17. Goguen, J., Roşu, G.: Institution morphisms. Formal Aspects of Computing 13, 274–307 (2002)

    Article  MATH  Google Scholar 

  18. Meseguer, J.: General logics. In: Proceedings of the Logic Colloquium 1987, pp. 275–329. North- Holland, Amsterdam (1989)

    Chapter  Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. Cerioli, M., Meseguer, J.: May I borrow your logic (Transporting logical structures along maps). Theoretical Computer Science 173, 311–347 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  22. Bridges, D.S.: Computability. Graduate Texts in Mathematics, vol. 146. Springer, Heidelberg (1994)

    MATH  Google Scholar 

  23. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CLC, Department of Mathematics, IST, Av. Rovisco Pais, 1000-149, Lisbon, Portugal

    Carlos Caleiro, Paulo Mateus, Amilcar Sernadas & Cristina Sernadas

Authors
  1. Carlos Caleiro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paulo Mateus
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Amilcar Sernadas
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Cristina Sernadas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Japan Advanced Institute of Science and Technology (JAIST),  

    Kokichi Futatsugi

  2. LIX, Projet INRIA TypiCal, École Polytechnique and CNRS, 91400, Palaiseau, France

    Jean-Pierre Jouannaud

  3. CS Dept., University of Illinois at Urbana-Champaign, USA

    José Meseguer

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation