{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T18:23:56Z","timestamp":1765045436152},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2015,7,31]],"date-time":"2015-07-31T00:00:00Z","timestamp":1438300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s00500-015-1780-8","type":"journal-article","created":{"date-parts":[[2015,7,30]],"date-time":"2015-07-30T14:58:41Z","timestamp":1438268321000},"page":"1373-1379","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Semilattices global valuations in the topos approach to quantum mechanics"],"prefix":"10.1007","volume":"21","author":[{"given":"Hector","family":"Freytes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"de Ronde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graciela","family":"Domenech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,31]]},"reference":[{"key":"1780_CR1","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff G, von Neumann J (1936) The logic of quantum mechanics. Ann Math 37:823\u2013843","journal-title":"Ann Math"},{"key":"1780_CR2","volume-title":"Distributive lattices","author":"R Balbes","year":"1974","unstructured":"Balbes R, Dwinger Ph (1974) Distributive lattices. University of Missouri Press, Columbia"},{"key":"1780_CR3","doi-asserted-by":"crossref","unstructured":"Dalla Chiara ML, Giuntini R, Sergioli G (2014) Probability in quantum computation and in quantum computational logics. Math Struct Comput Sci 14:e240306 (2014)","DOI":"10.1017\/S0960129512000734"},{"key":"1780_CR4","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/j.shpsb.2013.10.003","volume":"45","author":"C Ronde de","year":"2014","unstructured":"de Ronde C, Freytes H, Domenech G (2014) Interpreting the modal Kochen\u2013Specker theorem: possibility and many worlds in quantum mechanics. Stud Hist Philos Mod Phys 45:11\u201318","journal-title":"Stud Hist Philos Mod Phys"},{"key":"1780_CR5","doi-asserted-by":"crossref","first-page":"012102","DOI":"10.1063\/1.1819525","volume":"46","author":"G Domenech","year":"2005","unstructured":"Domenech G, Freytes H (2005) Contextual logic for quantum systems. J Math Phys 46:012102","journal-title":"J Math Phys"},{"key":"1780_CR6","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1002\/andp.200610217","volume":"15","author":"G Domenech","year":"2006","unstructured":"Domenech G, Freytes H, de Ronde C (2006) Scopes and limits of modality in quantum mechanics. Ann Phys 15:853\u2013860","journal-title":"Ann Phys"},{"key":"1780_CR7","doi-asserted-by":"crossref","first-page":"072108","DOI":"10.1063\/1.3177454","volume":"50","author":"G Domenech","year":"2009","unstructured":"Domenech G, Freytes H, de Ronde C (2009) Many worlds and modality in the interpretation of quantum mechanics: an algebraic approach. J Math Phys 50:072108","journal-title":"J Math Phys"},{"key":"1780_CR8","doi-asserted-by":"crossref","first-page":"053516","DOI":"10.1063\/1.2883742","volume":"49","author":"A D\u00f6ring","year":"2008","unstructured":"D\u00f6ring A, Isham CJ (2008) A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory. J Math Phys 49:053516","journal-title":"J Math Phys"},{"key":"1780_CR9","doi-asserted-by":"crossref","unstructured":"D\u00f6ring A, Isham CJ (2010) What is a thing? Topos theory in the foundations of physics. In: Coecke B (ed) New structures for physics, Lecture Notes for Physics, 813. Springer, Berlin, pp 753\u2013937","DOI":"10.1007\/978-3-642-12821-9_13"},{"key":"1780_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0004972700044828","volume":"7","author":"PJ Freyd","year":"1972","unstructured":"Freyd PJ (1972) Aspects of topoi. Bull Aust Math Soc 7:1\u201376","journal-title":"Bull Aust Math Soc"},{"key":"1780_CR11","first-page":"287","volume":"55","author":"H Freytes","year":"2009","unstructured":"Freytes H, de Ronde C, Domenech G (2009) Modal type othomodular logic. Math Log Q 55:287\u2013299","journal-title":"Math Log Q"},{"key":"1780_CR12","doi-asserted-by":"crossref","first-page":"1357","DOI":"10.1007\/s10701-014-9842-9","volume":"44","author":"H Freytes","year":"2014","unstructured":"Freytes H, de Ronde C, Domenech G (2014) Physical properties as modal operators in the topos approach to quantum mechanics. Found Phys 44:1357\u20131368","journal-title":"Found Phys"},{"key":"1780_CR13","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s00220-009-0865-6","volume":"291","author":"C Heunen","year":"2009","unstructured":"Heunen C, Landsman N, Spitters B (2009) A topos for algebraic quantum theory. Comm Math Phys 291:63\u2013110","journal-title":"Comm Math Phys"},{"key":"1780_CR14","first-page":"187","volume-title":"Deep beauty: understanding the quantum world through mathematical innovation","author":"C Isham","year":"2010","unstructured":"Isham C (2010) Topos methods in the foundations of physics. In: Halvorson H (ed) Deep beauty: understanding the quantum world through mathematical innovation. Cambridge University Press, Cambridge, pp 187\u2013206"},{"key":"1780_CR15","series-title":"Cambridge studies in advanced mathematics 3","volume-title":"Stone spaces","author":"PT Johnstone","year":"1982","unstructured":"Johnstone PT (1982) Stone spaces., Cambridge studies in advanced mathematics 3Cambridge University Press, Cambridge"},{"key":"1780_CR16","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"JA Kalman","year":"1958","unstructured":"Kalman JA (1958) Lattices with involution. Trans Am Math Soc 87:485\u2013491","journal-title":"Trans Am Math Soc"},{"key":"1780_CR17","volume-title":"Ortomodular lattices","author":"G Kalmbach","year":"1983","unstructured":"Kalmbach G (1983) Ortomodular lattices. Academic Press, London"},{"key":"1780_CR18","first-page":"59","volume":"17","author":"S Kochen","year":"1967","unstructured":"Kochen S, Specker E (1967) On the problem of hidden variables in quantum mechanics. J Math Mech 17:59\u201387","journal-title":"J Math Mech"},{"key":"1780_CR19","first-page":"329","volume":"1","author":"FW Lawvere","year":"1970","unstructured":"Lawvere FW (1970) Quantifiers and sheaves. Actes Congres Int Math Tome 1:329\u2013334","journal-title":"Actes Congres Int Math Tome"},{"key":"1780_CR20","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF02483860","volume":"12","author":"DS Macnab","year":"1981","unstructured":"Macnab DS (1981) Modal operators on Heyting algebras. Algebra Univ 12:5\u201329","journal-title":"Algebra Univ"},{"key":"1780_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-46248-1","volume-title":"Theory of symetric lattices","author":"F Maeda","year":"1970","unstructured":"Maeda F, Maeda S (1970) Theory of symetric lattices. Springer, Berlin"},{"key":"1780_CR22","volume-title":"Quantum computation and quantum information","author":"MA Nielsen","year":"2000","unstructured":"Nielsen MA, Chuang IL (2000) Quantum computation and quantum information. Cambridge University Press, Cambridge"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-015-1780-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-015-1780-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-015-1780-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-015-1780-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T01:43:49Z","timestamp":1559094229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-015-1780-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,31]]},"references-count":22,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["1780"],"URL":"https:\/\/doi.org\/10.1007\/s00500-015-1780-8","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7,31]]}}}