{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T10:21:25Z","timestamp":1758709285393,"version":"3.37.3"},"reference-count":34,"publisher":"Oxford University Press (OUP)","issue":"3","license":[{"start":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T00:00:00Z","timestamp":1540771200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["UID\/MAT\/04561\/2013"],"award-info":[{"award-number":["UID\/MAT\/04561\/2013"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Aplica\u00e7\u00f5es Fundamentais e Investiga\u00e7\u00e3o Operacional of Universidade de Lisboa","award":["UID\/FIS\/00099\/2013","UID\/EEA\/50008\/2013"],"award-info":[{"award-number":["UID\/FIS\/00099\/2013","UID\/EEA\/50008\/2013"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,5,24]]},"DOI":"10.1093\/jigpal\/jzy051","type":"journal-article","created":{"date-parts":[[2018,9,24]],"date-time":"2018-09-24T19:12:54Z","timestamp":1537816374000},"page":"328-370","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic logic of quantum observations"],"prefix":"10.1093","volume":"27","author":[{"given":"A","family":"Sernadas","sequence":"first","affiliation":[{"name":"Departamento Matem\u00e1tica, Instituto Superior T\u00e9cnico and CMAFcIO, Avenida Rovisco Pais, Lisboa, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J","family":"Rasga","sequence":"additional","affiliation":[{"name":"Departamento Matem\u00e1tica, Instituto Superior T\u00e9cnico and CMAFcIO, Avenida Rovisco Pais, Lisboa, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C","family":"Sernadas","sequence":"additional","affiliation":[{"name":"Departamento Matem\u00e1tica, Instituto Superior T\u00e9cnico and CMAFcIO, Avenida Rovisco Pais, Lisboa, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L","family":"Alc\u00e1cer","sequence":"additional","affiliation":[{"name":"Departamento de Engenharia Qu\u00edmica, Instituto Superior T\u00e9cnico and Instituto de Telecomunica\u00e7\u00f5es, Avenida Rovisco Pais, Lisboa, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A B","family":"Henriques","sequence":"additional","affiliation":[{"name":"Departamento F\u00edsica, Instituto Superior T\u00e9cnico and Centro Multidisciplinar de Astrof\u00edsica, Universidade de Lisboa, Avenida Rovisco Pais, Lisboa, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2018,10,29]]},"reference":[{"volume-title":"A Primer of Probability Logic","year":"1998","author":"Adams","key":"2019052712101122200_ref1"},{"key":"2019052712101122200_ref2","doi-asserted-by":"crossref","first-page":"3005","DOI":"10.1007\/s10773-010-0411-5","article-title":"Correlated knowledge: an epistemic-logic view on quantum entanglement","volume":"49","author":"Baltag","year":"2010","journal-title":"International Journal of Theoretical Physics"},{"key":"2019052712101122200_ref4","doi-asserted-by":"crossref","first-page":"1895","DOI":"10.1103\/PhysRevLett.70.1895","article-title":"Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels","volume":"70","author":"Bennett","year":"1993","journal-title":"Physical Review Letters"},{"key":"2019052712101122200_ref3","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","article-title":"The logic of quantum mechanics","volume":"37","author":"Birkhoff","year":"1936","journal-title":"Annals of Mathematics"},{"volume-title":"Modal Logic, vol. 53. Cambridge Tracts in Theoretical Computer Science","year":"2001","author":"Blackburn","key":"2019052712101122200_ref5"},{"volume-title":"Hilbert Space Operators in Quantum Physics. Theoretical and Mathematical Physics","year":"2008","author":"Blank","key":"2019052712101122200_ref6"},{"doi-asserted-by":"crossref","unstructured":"W. Carnielli , M. E.Coniglio and J.Marcos. Logics of formal inconsistency. In Handbook of Philosophical Logic, D. Gabbay and F. Guenthner, eds, vol. 14, pp. 1\u201393. Springer, 2007.","key":"2019052712101122200_ref7","DOI":"10.1007\/978-1-4020-6324-4_1"},{"doi-asserted-by":"crossref","unstructured":"M. L. Dalla Chiara and R.Giuntini. Quantum logics. In Handbook of Philosophical Logic, D. Gabbay and F. Guenthner, eds, vol. 6, pp. 129\u2013228. Springer, 2002.","key":"2019052712101122200_ref8","DOI":"10.1007\/978-94-017-0460-1_2"},{"volume-title":"The Principles of Quantum Mechanics","year":"1967","author":"Dirac","key":"2019052712101122200_ref9"},{"volume-title":"Handbook of Quantum Logic and Quantum Structures: Quantum Structures.Elsevier,","year":"2007","author":"Gabbay","key":"2019052712101122200_ref10"},{"volume-title":"Handbook of Quantum Logic and Quantum Structures: Quantum Logic.Elsevier,","year":"2009","author":"Gabbay","key":"2019052712101122200_ref11"},{"key":"2019052712101122200_ref12","doi-asserted-by":"crossref","first-page":"610","DOI":"10.1007\/s10701-014-9802-4","article-title":"The new quantum logic","volume":"44","author":"Griffiths","year":"2014","journal-title":"Foundations of Physics"},{"key":"2019052712101122200_ref13","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1305\/ndjfl\/1093870625","article-title":"Probability logic","volume":"25","author":"Hailperin","year":"1984","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2019052712101122200_ref14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4614-7116-5","volume-title":"Quantum Theory for Mathematicians","author":"Hall","year":"2013"},{"volume-title":"Reasoning About Uncertainty","year":"2003","author":"Halpern","key":"2019052712101122200_ref15"},{"key":"2019052712101122200_ref16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01837551","article-title":"An axiom system for orthomodular quantum logic","volume":"40","author":"Hardegree","year":"1981","journal-title":"Studia Logica"},{"key":"2019052712101122200_ref17","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1080\/11663081.2016.1174361","article-title":"First-order frames for orthomodular quantum logic","volume":"26","author":"Hartonas","year":"2016","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2019052712101122200_ref18","first-page":"263","article-title":"Epistemic nature of quantum reasoning","volume-title":"Logic and Computation, Tributes 33","author":"Henriques","year":"2017"},{"key":"2019052712101122200_ref19","doi-asserted-by":"crossref","DOI":"10.1142\/p001","volume-title":"Lectures on Quantum Theory: Mathematical and Structural Foundations","author":"Isham","year":"1995"},{"volume-title":"Model Theory: An Introduction, vol. 217. Graduate Texts in Mathematics","year":"2002","author":"Marker","key":"2019052712101122200_ref20"},{"key":"2019052712101122200_ref21","doi-asserted-by":"crossref","first-page":"771","DOI":"10.1016\/j.ic.2006.02.001","article-title":"Weakly complete axiomatization of exogenous quantum propositional logic","volume":"204","author":"Mateus","year":"2006","journal-title":"Information and Computation"},{"unstructured":"R. van der Meyden and M. K.Patra. A logic for probability in quantum systems. In Computer Science Logic, 17th International Workshop, 12th Annual Conference of the EACSL, and 8th Kurt G\u00f6del Colloquium, vol. 2803, pp. 427\u2013440. Springer, 2003.","key":"2019052712101122200_ref22"},{"key":"2019052712101122200_ref23","article-title":"Princeton Landmarks in Mathematics. Princeton University Press, 1955","volume-title":"Mathematical Foundations of Quantum Mechanics","author":"von Neumann","year":"1932"},{"key":"2019052712101122200_ref24","first-page":"12","article-title":"Classical logic and quantum logic with multiple and common lattice models","author":"Pavi\u010di\u0107","year":"2016","journal-title":"ID"},{"key":"2019052712101122200_ref25","doi-asserted-by":"crossref","first-page":"959","DOI":"10.1093\/logcom\/exn018","article-title":"Standard logics are valuation-nonmonotonic","volume":"18","author":"Pavi\u010di\u0107","year":"2008","journal-title":"Journal of Logic and Computation"},{"volume-title":"Foundations of Quantum Physics","year":"1976","author":"Piron","key":"2019052712101122200_ref26"},{"volume-title":"Real and Complex Analysis","year":"1987","author":"Rudin","key":"2019052712101122200_ref27"},{"volume-title":"Functional Analysis","year":"1991","author":"Rudin","key":"2019052712101122200_ref28"},{"key":"2019052712101122200_ref29","first-page":"267","article-title":"On probability and logic","author":"Sernadas","year":"2017"},{"unstructured":"B. Steinbach and C.Posthoff. An extended theory of boolean normal forms. In Proceedings of the 6th Annual Hawaii International Conference on Statistics, Mathematics and Related Fields, pp. 1124\u20131139, 2007.","key":"2019052712101122200_ref30"},{"year":"1981","author":"Takeuti","key":"2019052712101122200_ref31"},{"key":"2019052712101122200_ref32","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"Tarski","year":"1951"},{"key":"2019052712101122200_ref33","first-page":"323","article-title":"The present situation in quantum mechanics: a translation of schr\u00f6dinger\u2019s \u201ccat paradox\u201d paper","volume":"124","author":"Trimmer","year":"1980","journal-title":"Proceedings of the American Philosophical Society"},{"key":"2019052712101122200_ref34","first-page":"9","volume-title":"On the technique of calculating propositions in symbolic logic. Matematicheskii Sbornik","author":"Zhegalkin","year":"1927"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/27\/3\/328\/28702269\/jzy051.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,2]],"date-time":"2022-09-02T16:34:53Z","timestamp":1662136493000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/27\/3\/328\/5142545"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,29]]},"references-count":34,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2018,10,29]]},"published-print":{"date-parts":[[2019,5,24]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzy051","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2019,5]]},"published":{"date-parts":[[2018,10,29]]}}}