{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T20:21:40Z","timestamp":1648930900801},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,6,12]],"date-time":"2012-06-12T00:00:00Z","timestamp":1339459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1007\/s11225-011-9364-9","type":"journal-article","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T05:20:28Z","timestamp":1339392028000},"page":"193-217","source":"Crossref","is-referenced-by-count":0,"title":["Systems of Quantum Logic"],"prefix":"10.1007","volume":"101","author":[{"given":"Satoko","family":"Titani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiji","family":"Kodera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroshi","family":"Aoyama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,6,12]]},"reference":[{"key":"9364_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.: The logic of quantum mechanics. Annals of Mathematics 37, 823\u2013843 (1936)","journal-title":"Annals of Mathematics"},{"key":"9364_CR2","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1090\/S0002-9947-1937-1501929-X","volume":"42","author":"H. McNeille","year":"1937","unstructured":"McNeille H.: Partially ordered sets. Transactions of the American Mathematical Society 42, 416\u2013460 (1937)","journal-title":"Transactions of the American Mathematical Society"},{"key":"9364_CR3","doi-asserted-by":"crossref","unstructured":"Piron, C., Foundations of Quantum Physics, W.A. Benjamin, Inc., Massachusetts, 1976.","DOI":"10.1007\/978-94-010-1440-3_7"},{"key":"9364_CR4","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/s001530100122","volume":"41","author":"M. Takano","year":"2002","unstructured":"Takano M.: Strong completeness of lattice valued logic. Archive for Mathematical Logic 41, 497\u2013505 (2002)","journal-title":"Archive for Mathematical Logic"},{"key":"9364_CR5","unstructured":"Takeuti, G., Two Applications of Logic to Mathematics, Iwanami and Princeton University Press, Tokyo and Princeton, 1978."},{"key":"9364_CR6","doi-asserted-by":"crossref","unstructured":"Takeuti, G., Quantum set theory, in E. Beltrametti and B. C. van Frassen (eds.), Current Issues in Quantum Logic, pp. 303\u2013322, Plenum, New York, 1981.","DOI":"10.1007\/978-1-4613-3228-2_19"},{"key":"9364_CR7","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/s001530050134","volume":"38","author":"S. Titani","year":"1999","unstructured":"Titani S.: Lattice valued set theory. Archive for Mathematical Logic 38, 395\u2013421 (1999)","journal-title":"Archive for Mathematical Logic"},{"key":"9364_CR8","doi-asserted-by":"crossref","unstructured":"Titani, S., A completeness theorem of quantum set theory, in K. Engesser, D. M. Gabbay, and D. Lehmann (eds.), Handbook of Quantum Logic and Quantum Structures: Quantum Logic, pp. 661\u2013702, Elsevier Science Ltd., 2009.","DOI":"10.1016\/B978-0-444-52869-8.50018-9"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9364-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-011-9364-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9364-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T17:49:58Z","timestamp":1561830598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-011-9364-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,12]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["9364"],"URL":"https:\/\/doi.org\/10.1007\/s11225-011-9364-9","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,12]]}}}