{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:38:40Z","timestamp":1762270720020},"reference-count":18,"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":["Appl Categor Struct"],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bf00872949","type":"journal-article","created":{"date-parts":[[2004,12,24]],"date-time":"2004-12-24T20:36:45Z","timestamp":1103920605000},"page":"79-104","source":"Crossref","is-referenced-by-count":13,"title":["A sheaf model for intuitionistic quantum mechanics"],"prefix":"10.1007","volume":"3","author":[{"given":"M.","family":"Adelman","sequence":"first","affiliation":[]},{"given":"J. V.","family":"Corbett","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"CR1","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BF01883625","volume":"23","author":"M. Adelman","year":"1993","unstructured":"M. Adelman, J. V. Corbett, and A. Hurst: The geometry of state space.Foundations of Physics 23(2) (1993), 211?223.","journal-title":"Foundations of Physics"},{"issue":"10","key":"CR2","doi-asserted-by":"crossref","first-page":"896","DOI":"10.1119\/1.17009","volume":"60","author":"A. O. Barut","year":"1992","unstructured":"A. O. Barut and S. Basri: Path integrals and quantum interference.Am. J. Phys. 60(10) (1992), 896?899.","journal-title":"Am. J. Phys."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"83","DOI":"10.2307\/1968621","volume":"37","author":"G. D. Birkhoff","year":"1936","unstructured":"G. D. Birkhoff and J. von Neumann: The logic of quantum mechanics.Ann. Math. 37 (1936), 83.","journal-title":"Ann. Math."},{"key":"CR4","unstructured":"M. Coste: Language interne d'un topos \u00e9lementaires.Seminaire B\u00e9nabou, 1974."},{"key":"CR5","volume-title":"Linear Operators, volume I","author":"N. Dunford","year":"1958","unstructured":"N. Dunford and J. T. Schwartz:Linear Operators, volume I. Wiley Interscience, New York, 1958."},{"issue":"2","key":"CR6","doi-asserted-by":"crossref","first-page":"998","DOI":"10.1063\/1.353317","volume":"73","author":"Akira Endoh","year":"1993","unstructured":"Akira Endoh, Shigehik Sasa, Hiroshi Arimoto, and Shunichi Muto: Time-evolved numerical simulation of a two-dimensional electron wave packet through a quantum double slit.J. Appl. Phys. 73(2) (1993), 998?1000.","journal-title":"J. Appl. Phys."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"M. P. Fourman and D. S. Scott: Sheaves and logic. InApplications of Sheaves. Springer-Verlag, 1979.","DOI":"10.1007\/BFb0061811"},{"key":"CR8","volume-title":"Th\u00e9orie des faisceaux","author":"Roger Godement","year":"1964","unstructured":"Roger Godement:Th\u00e9orie des faisceaux. Hermann, Paris, 1964."},{"key":"CR9","series-title":"L.M.S. Monographs","volume-title":"Topos Theory","author":"P. T. Johnstone","year":"1977","unstructured":"P. T. Johnstone:Topos Theory. L.M.S. Monographs. Academic Press, London, 1977."},{"key":"CR10","unstructured":"F. W. Lawvere: Quantifiers and sheaves.Actes, Congres Intern. Math., 1, 1970."},{"issue":"2","key":"CR11","first-page":"235","volume":"1","author":"Shuichiro Maeda","year":"1990","unstructured":"Shuichiro Maeda: Probability measures on projections in von Neumann algebras.Reviews in Mathematical Physics 1(2), (1990), 235?290.","journal-title":"Reviews in Mathematical Physics"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01645423","volume":"15","author":"B. Mielnik","year":"1969","unstructured":"B. Mielnik: Theory of filters.Comm. Math. Phys. 15 (1969), 1?46.","journal-title":"Comm. Math. Phys."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"000","DOI":"10.1016\/0022-4049(72)90006-0","volume":"2","author":"W. Mitchell","year":"1972","unstructured":"W. Mitchell: Boolean topoi and the theory of sets.J. Pure and Applied Algebra 2 (1972), 000?000.","journal-title":"J. Pure and Applied Algebra"},{"key":"CR14","unstructured":"C. Mulvey: Intuitionistic algebra and representation of rings. InRecent Advances in the Representation of Rings and C?*Algebras by Continuous Sections. AMS, 1974. Memoirs of the AMS."},{"key":"CR15","first-page":"194","volume":"20","author":"D. S. Scott","year":"1968","unstructured":"D. S. Scott: Extending the topological interpretation to intuitionistic analysis, part I.Composito Math. 20 (1968), 194?210.","journal-title":"Composito Math."},{"key":"CR16","volume-title":"Applications of Logic to Mathematics","author":"G. Takeuti","year":"1978","unstructured":"G. Takeuti:Applications of Logic to Mathematics. Iwanami and Princeton University Press, Tokyo and Princeton, 1978."},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Harald Upmeier: Jordan algebras in analysis, operator theory, and quantum mechanics.AMS Regional Conf. Series, 67, 1987.","DOI":"10.1090\/cbms\/067"},{"issue":"2","key":"CR18","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1103\/PhysRevD.19.473","volume":"19","author":"William K. Wootters","year":"1979","unstructured":"William K. Wootters and Wojciech H. Zurek: Complementarity in the double-slit experiment: Quantum nonseparability and a quantative statement of bohr's principle.Physical Review D 19(2) (1979), 473?484.","journal-title":"Physical Review D"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00872949.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00872949\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00872949","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T23:23:52Z","timestamp":1586042632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00872949"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995]]}},"alternative-id":["BF00872949"],"URL":"https:\/\/doi.org\/10.1007\/bf00872949","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}