{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T03:24:40Z","timestamp":1649215480292},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"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":[[1995]]},"DOI":"10.1007\/bf01053029","type":"journal-article","created":{"date-parts":[[2005,1,29]],"date-time":"2005-01-29T14:28:41Z","timestamp":1107008921000},"page":"3-22","source":"Crossref","is-referenced-by-count":9,"title":["The logics of orthoalgebras"],"prefix":"10.1007","volume":"55","author":[{"given":"Maria Luisa","family":"Dalla Chiara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Giuntini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"961","DOI":"10.1007\/BF00673988","volume":"30","author":"S. Bugajski","year":"1991","unstructured":"S. Bugajski, ?Nonlinear quantun mechanics is a classical theory?,International Journal of Theoretical Physics 30 1991, 961?971.","journal-title":"International Journal of Theoretical Physics"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1007\/BF02054668","volume":"24","author":"G. Cattaneo","year":"1994","unstructured":"G. Cattaneo andF. Laudisa, ?Axiomatic quantum mechanics?,Foundations of Physics 24 1994, 631?681.","journal-title":"Foundations of Physics"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/BF02123378","volume":"33","author":"J. Czelakowski","year":"1974","unstructured":"J. Czelakowski, ?Logics based on partial Boolean ?-algebras?,Studia Logica 33 1974, 371?396.","journal-title":"Studia Logica"},{"key":"CR4","volume-title":"Handbook of Philosophical Logic III","author":"M.L. Dalla Chiara","year":"1986","unstructured":"M.L. Dalla Chiara, ?Quantum logic?, (ed.)s D. Gabbay, F. Guenthner, in:Handbook of Philosophical Logic III, Reidel, Dordrecht 1986."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"1161","DOI":"10.1007\/BF02057862","volume":"24","author":"M. L. Dalla Chiara","year":"1994","unstructured":"M. L. Dalla Chiara andR. Giuntini, ?Unsharp quantum logics?,Foundations of Physics 24 1994, 1161?1177.","journal-title":"Foundations of Physics"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"787","DOI":"10.1007\/BF00678545","volume":"31","author":"D.J. Foulis","year":"1992","unstructured":"D.J. Foulis, R.J. Greechie andG.T. R\u00fcttimann, ?Filters and supports in orthoalgebras?,International Journal of Theoretical Physics 31 1992, 787?807.","journal-title":"International Journal of Theoretical Physics"},{"key":"CR7","volume-title":"Interpretations and Foundations of Quantum Mechanics","author":"D.J. Foulis","year":"1981","unstructured":"D.J. Foulis andC. Randall, ?Empirical logics?, (ed.) H. Neumann, in:Interpretations and Foundations of Quantum Mechanics Bibliographisches Institut, Mannheim 1981."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"931","DOI":"10.1007\/BF01889307","volume":"20","author":"R. Giuntini","year":"1989","unstructured":"R. Giuntini andH. Greuling, ?Toward a formal language for unsharp properties?,Foundations of Physics 20 1989, 931?935.","journal-title":"Foundations of Physics"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00652069","volume":"2","author":"R. Goldblatt","year":"1974","unstructured":"R. Goldblatt, ?Semantic analysis of orthologic?,Journal of Philosophical Logic 2 1974, 19?35.","journal-title":"Journal of Philosophical Logic"},{"key":"CR10","first-page":"43","volume":"24","author":"G. Hardegree","year":"1984","unstructured":"G. Hardegree andP. Lock, ?Connections among quantum logics?,International Journal of Theoretical Physics 24 1984, 43?53.","journal-title":"International Journal of Theoretical Physics"},{"key":"CR11","unstructured":"S. Kochen andE. Specker, ?The calculus of partial propositional functions?, (ed.) Y. Bar-Hillen, in:Logic, Methodology and the Philosophy of Science, North-Holland, Amsterdam."},{"key":"CR12","first-page":"21","volume":"44","author":"F. K\u00f4pka","year":"1994","unstructured":"F. K\u00f4pka andF. Chovanec, ?D-posets?,Mathematica Slovaca 44 1994, 21?34.","journal-title":"Mathematica Slovaca"},{"key":"CR13","unstructured":"M. Navara andP. Pt\u00e1k, ?Difference posets and orthoalgebras?, (submitted)."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053029.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01053029\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T04:50:10Z","timestamp":1556599810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01053029"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995]]}},"alternative-id":["BF01053029"],"URL":"https:\/\/doi.org\/10.1007\/bf01053029","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}