{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T22:09:07Z","timestamp":1649196547333},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1982,5,1]],"date-time":"1982-05-01T00:00:00Z","timestamp":389059200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1982,5]]},"DOI":"10.1007\/bf00278384","type":"journal-article","created":{"date-parts":[[2004,10,6]],"date-time":"2004-10-06T10:47:17Z","timestamp":1097059637000},"page":"215-228","source":"Crossref","is-referenced-by-count":5,"title":["The logic of approximation in quantum theory"],"prefix":"10.1007","volume":"11","author":[{"given":"Michael","family":"Katz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Bigelow, T. C., ?Quantum probabilities in logical spaces?, manuscript, Victoria University of Wellington."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff, G and von Neumann, J., ?The logic of quantum mechanics?, Annals of Math. 37 (1936), 823?43.","journal-title":"Annals of Math."},{"key":"CR3","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/BFb0061824","volume-title":"Applications of Sheaves","author":"M. P. Fourman","year":"1979","unstructured":"Fourman, M. P. and Scott, D. S., ?Sheaves and logic?, in M. P. Fourman, C. J. Mulvey and D. S. Scott (eds.) Applications of Sheaves (Lecture Notes in Mathematics 753). Springer-Verlag, Heidelberg, 1979, pp. 302?401."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1063\/1.1664588","volume":"9","author":"R. Giles","year":"1968","unstructured":"Giles, R., ?Foundations for quantum statistics?, J. Math. Physics 9 (1968), 357?71.","journal-title":"J. Math. Physics"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF02123379","volume":"33","author":"R. Giles","year":"1974","unstructured":"Giles, R., ?A non-classical logic for physics?, Studia Logica 33 (1974), 399?417.","journal-title":"Studia Logica"},{"key":"CR6","volume-title":"An Introduction to Modal Logic","author":"G. E. Hughes","year":"1968","unstructured":"Hughes, G. E. and Cresswell, M. J., An Introduction to Modal Logic, Methuen, London, 1968."},{"key":"CR7","first-page":"175","volume-title":"Proceedings of the 11th International Symposium on Multiple-valued Logic","author":"M. Katz","year":"1981","unstructured":"Katz, M., ?Two systems of multi-valued logic for science?, Proceedings of the 11th International Symposium on Multiple-valued Logic, IEEE Computer Society Press, New York, 1981, pp. 175?82."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Katz, M., ?Real-valued models with metric equality and uniformly continuous predicates?, to appear in J. Symbolic Logic (1982).","DOI":"10.2307\/2273098"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0003-4843(71)90017-9","volume":"2","author":"R. Mansfield","year":"1971","unstructured":"Mansfield, R., ?The theory of Boolean ultrapowers?, Ann. Math. Logic 2 (1971), 279?323.","journal-title":"Ann. Math. Logic"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Scott, D. S., ?Completeness and axiomatizability in many-valued logic?, in L. Henkin et al. (eds.), Proceedings of the Tarski Symposium (Proceedings of Symposia in Pure Math. 25), AMS, Providence, 1974, pp. 188?97.","DOI":"10.1090\/pspum\/025\/0363802"},{"key":"CR11","volume-title":"Modal Logic and its Applications","author":"D. P. Snyder","year":"1971","unstructured":"Snyder, D. P., Modal Logic and its Applications, Van Nostrand, New York, 1971."},{"key":"CR12","volume-title":"Logic, Semantics, Metamathematics","author":"A. Tarski","year":"1956","unstructured":"Tarski, A., Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1956."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/978-94-010-2534-8_3","volume-title":"Contemporary Research in the Foundations and Philosophy of Quantum Theory","author":"B. C. Fraassen van","year":"1973","unstructured":"van Fraassen, B. C., ?Semantic analysis of quantum logic?, in C. A. Hooker (ed.), Contemporary Research in the Foundations and Philosophy of Quantum Theory, D. Reidel, Dordrecht, 1973, pp. 80?113."},{"key":"CR14","unstructured":"Wallace, R. C., ?A logic for mechanics: a generalized logic for mechanical theories with applications to modalities and probabilities?, Doctoral dissertation, University of Western Ontario, 1979."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00278384.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00278384\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00278384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T08:41:39Z","timestamp":1585903299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00278384"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,5]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1982,5]]}},"alternative-id":["BF00278384"],"URL":"https:\/\/doi.org\/10.1007\/bf00278384","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,5]]}}}