{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T19:36:31Z","timestamp":1760729791727},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354628"},{"type":"electronic","value":"9783540354642"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11780274_4","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T10:50:32Z","timestamp":1150800632000},"page":"50-64","source":"Crossref","is-referenced-by-count":7,"title":["Quantum Institutions"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Caleiro","sequence":"first","affiliation":[]},{"given":"Paulo","family":"Mateus","sequence":"additional","affiliation":[]},{"given":"Amilcar","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Mateus, P., Sernadas, A.: Exogenous quantum logic. In: Carnielli, W.A., Dion\u00edsio, F.M., Mateus, P. (eds.) Proceedings of CombLog\u201904, Workshop on Combination of Logics: Theory and Applications, 1049-001 Lisboa, Portugal, Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico (2004), pp. 141\u2013149 (2004), Extended abstract"},{"key":"4_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-540-30227-8_22","volume-title":"Logics in Artificial Intelligence","author":"P. Mateus","year":"2004","unstructured":"Mateus, P., Sernadas, A.: Reasoning about quantum systems. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 239\u2013251. Springer, Heidelberg (2004)"},{"key":"4_CR3","unstructured":"Mateus, P., Sernadas, A.: Weakly complete axiomatization of exogenous quantum propositional logic. Information and Computation (in print) ArXiv math.LO\/0503453"},{"key":"4_CR4","volume-title":"Quantum Computation and Quantum Information","author":"M.A. Nielsen","year":"2000","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)"},{"key":"4_CR5","unstructured":"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.\u00a01, pp. 165\u2013194 (2005)"},{"key":"4_CR6","series-title":"Einstein Meets Magritte","first-page":"1","volume-title":"Quantum Structures and the Nature of Reality","author":"D.J. Foulis","year":"1999","unstructured":"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.\u00a07, pp. 1\u201336. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"4_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0526-4","volume-title":"Reasoning in Quantum Theory","author":"M.L.D. Chiara","year":"2004","unstructured":"Chiara, M.L.D., Giuntini, R., Greechie, R.: Reasoning in Quantum Theory. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G. Birkhoff","year":"1936","unstructured":"Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Annals of Mathematics\u00a037, 823\u2013843 (1936)","journal-title":"Annals of Mathematics"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N.J. Nilsson","year":"1986","unstructured":"Nilsson, N.J.: Probabilistic logic. Artificial Intelligence\u00a028, 71\u201387 (1986)","journal-title":"Artificial Intelligence"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(93)90167-A","volume":"59","author":"N.J. Nilsson","year":"1993","unstructured":"Nilsson, N.J.: Probabilistic logic revisited. Artificial Intelligence\u00a059, 39\u201342 (1993)","journal-title":"Artificial Intelligence"},{"key":"4_CR11","volume-title":"MIT Press Series in Artificial Intelligence","author":"F. Bacchus","year":"1990","unstructured":"Bacchus, F.: Representing and Reasoning with Probabilistic Knowledge. In: MIT Press Series in Artificial Intelligence, MIT Press, Cambridge (1990)"},{"key":"4_CR12","series-title":"Machine Intelligence and Pattern Recognition","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/B978-0-444-88650-7.50022-6","volume-title":"Uncertainty in Artificial Intelligence","author":"F. Bacchus","year":"1990","unstructured":"Bacchus, F.: On probability distributions over possible worlds. In: Uncertainty in Artificial Intelligence. Machine Intelligence and Pattern Recognition, vol.\u00a04(9), pp. 217\u2013226. North-Holland, Amsterdam (1990)"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R. Fagin","year":"1990","unstructured":"Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Information and Computation\u00a087, 78\u2013128 (1990)","journal-title":"Information and Computation"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/BF02120818","volume":"30","author":"H. Dishkant","year":"1972","unstructured":"Dishkant, H.: Semantics of the minimal logic of quantum mechanics. Studia Logica\u00a030, 23\u201332 (1972)","journal-title":"Studia Logica"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/3-540-17162-2_131","volume-title":"Category Theory and Computer Programming","author":"J. Goguen","year":"1986","unstructured":"Goguen, J., Burstall, R.: A study in the foundations of programming methodology: specifications, institutions, charters and parchments. In: Poign\u00e9, A., Pitt, D.H., Rydeheard, D.E., Abramsky, S. (eds.) Category Theory and Computer Programming. LNCS, vol.\u00a0240, pp. 313\u2013333. Springer, Heidelberg (1986)"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal of the ACM\u00a039, 95\u2013146 (1992)","journal-title":"Journal of the ACM"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","author":"J. Goguen","year":"2002","unstructured":"Goguen, J., Ro\u015fu, G.: Institution morphisms. Formal Aspects of Computing\u00a013, 274\u2013307 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/S0049-237X(08)70132-0","volume-title":"Proceedings of the Logic Colloquium 1987","author":"J. Meseguer","year":"1989","unstructured":"Meseguer, J.: General logics. In: Proceedings of the Logic Colloquium 1987, pp. 275\u2013329. North- Holland, Amsterdam (1989)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/3-540-61629-2_59","volume-title":"Recent Trends in Data Type Specification","author":"A. Tarlecki","year":"1996","unstructured":"Tarlecki, A.: Moving between logical systems. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol.\u00a01130, pp. 478\u2013502. Springer, Heidelberg (1996)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/3-540-61440-0_125","volume-title":"Automata, Languages and Programming","author":"T. Mossakowski","year":"1996","unstructured":"Mossakowski, T.: Different types of arrow between logical frameworks. In: Meyer auf der Heide, F., Monien, B. (eds.) ICALP 1996. LNCS, vol.\u00a01099, pp. 158\u2013169. Springer, Heidelberg (1996)"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"Cerioli, M., Meseguer, J.: May I borrow your logic (Transporting logical structures along maps). Theoretical Computer Science\u00a0173, 311\u2013347 (1997)","journal-title":"Theoretical Computer Science"},{"key":"4_CR22","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0863-1","volume-title":"Computability","author":"D.S. Bridges","year":"1994","unstructured":"Bridges, D.S.: Computability. Graduate Texts in Mathematics, vol.\u00a0146. Springer, Heidelberg (1994)"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-7643-7304-0_10","volume-title":"Logica Universalis","author":"C. Caleiro","year":"2005","unstructured":"Caleiro, C., Carnielli, W.A., Coniglio, M.E., Marcos, J.: Two\u2019s company: \u201cThe humbug of many logical values\u201d. In: B\u00e9ziau, J.Y. (ed.) Logica Universalis, pp. 169\u2013189. Birkh\u00e4user, Basel (2005)"}],"container-title":["Lecture Notes in Computer Science","Algebra, Meaning, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11780274_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:16:05Z","timestamp":1619507765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11780274_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354628","9783540354642"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11780274_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}