{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T05:34:31Z","timestamp":1777354471010,"version":"3.51.4"},"reference-count":183,"publisher":"Elsevier","isbn-type":[{"value":"9780444516237","type":"print"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1016\/s1874-5857(07)80007-0","type":"book-chapter","created":{"date-parts":[[2007,9,8]],"date-time":"2007-09-08T02:50:27Z","timestamp":1189219827000},"page":"205-283","source":"Crossref","is-referenced-by-count":2,"title":["The History of Quantum Logic"],"prefix":"10.1016","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"}]},{"given":"Miklos","family":"R\u00e9dei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1874-5857(07)80007-0_bib1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0034-4877(84)90077-6","article-title":"Construction of a structure which enables to describe the joint system of a classical and a quantum system","volume":"20","author":"Aerts","year":"1984","journal-title":"Reports on Mathematical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib2","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1023\/A:1003661015110","article-title":"Quantum axiomatics and a theorem of M.P. Sol\u00e9r","volume":"39","author":"Aerts","year":"2000","journal-title":"International Journal of Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib3","series-title":"Symposium on the Foundations of Modern Physics","first-page":"51","article-title":"Tests of Bell's inequalities with pairs of low energy correlated photons: an experimental realization of Einstein-Podolsky-Rosen-type correlations","author":"Aspect","year":"1985"},{"key":"10.1016\/S1874-5857(07)80007-0_bib4","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1103\/PhysRevLett.47.460","article-title":"Experimental tests of realistic local theories via Bell's theorem","volume":"47","author":"Aspect","year":"1981","journal-title":"Physical Review Letters"},{"key":"10.1016\/S1874-5857(07)80007-0_bib5","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1093\/jigpal\/6.3.383","article-title":"Embedding classical logic into basic orthologic with a primitive modality","volume":"6","author":"Battilotti","year":"1998","journal-title":"Logic Journal of the IGPL"},{"key":"10.1016\/S1874-5857(07)80007-0_bib6","first-page":"213","article-title":"Quantum logic and the cube of logics","volume":"vol. 6","author":"Battilotti","year":"2002"},{"key":"10.1016\/S1874-5857(07)80007-0_bib7","series-title":"Logic and Foundations of Mathematics","first-page":"165","article-title":"Basic logic and the cube of its extensions","author":"Battilotti","year":"1999"},{"key":"10.1016\/S1874-5857(07)80007-0_bib8","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1103\/RevModPhys.38.447","article-title":"On the problem of hidden variables in quantum mechanics","volume":"38","author":"Bell","year":"1966","journal-title":"Reviews of Modern Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib9","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1088\/0305-4470\/28\/12\/007","article-title":"A classical extension of quantum mechanics","volume":"28","author":"Beltrametti","year":"1995","journal-title":"Journal of Physics A: Mathematical and General"},{"key":"10.1016\/S1874-5857(07)80007-0_bib10","doi-asserted-by":"crossref","first-page":"3020","DOI":"10.1063\/1.532031","article-title":"Effect algebras and statistical physical theories","volume":"38","author":"Beltrametti","year":"1997","journal-title":"Journal of Mathematical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib11","article-title":"The logic of quantum mechanics","volume":"vol. 15","author":"Beltrametti","year":"1981"},{"key":"10.1016\/S1874-5857(07)80007-0_bib12","series-title":"Affine and protective geometry","author":"Bennett","year":"1995"},{"key":"10.1016\/S1874-5857(07)80007-0_bib13","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1006\/aama.1997.0535","article-title":"Interval and scale effect algebras","volume":"19","author":"Bennett","year":"1997","journal-title":"Advances in Mathematics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib14","article-title":"Lattice Theory","volume":"vol. 25","author":"Birkhoff","year":"1967"},{"key":"10.1016\/S1874-5857(07)80007-0_bib15","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","article-title":"The logic of quantum mechanics","volume":"37","author":"Birkhoff","year":"1936","journal-title":"Annals of Mathematics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib16","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1007\/BF00383174","article-title":"Completions of orthomodular lattices","volume":"7","author":"Bruns","year":"1990","journal-title":"Order"},{"key":"10.1016\/S1874-5857(07)80007-0_bib17","series-title":"Interpreting the quantum world","author":"Bub","year":"1999"},{"key":"10.1016\/S1874-5857(07)80007-0_bib18","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/BF00673350","article-title":"Delinearization of quantum logic","volume":"32","author":"Bugajski","year":"1993","journal-title":"International Journal of Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib19","series-title":"Symposium on the Foundations of Modern Physics","first-page":"343","article-title":"Elements of unsharp reality in the EPR experiment","author":"Busch","year":"1985"},{"key":"10.1016\/S1874-5857(07)80007-0_bib20","article-title":"Operational quantum mechanics","author":"Busch","year":"1995"},{"key":"10.1016\/S1874-5857(07)80007-0_bib21","article-title":"The quantum theory of measurement","author":"Busch","year":"1991"},{"key":"10.1016\/S1874-5857(07)80007-0_bib22","doi-asserted-by":"crossref","first-page":"1709","DOI":"10.1007\/BF00979496","article-title":"Fuzzy quantum logic II: the logics of unsharp quantum mechanics","volume":"32","author":"Cattaneo","year":"1993","journal-title":"International Journal of Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib23","doi-asserted-by":"crossref","first-page":"3085","DOI":"10.1007\/BF02435730","article-title":"A unified framework for the algebra of unsharp quantum mechanics","volume":"36","author":"Cattaneo","year":"1997","journal-title":"International Journal of Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib24","doi-asserted-by":"crossref","first-page":"3153","DOI":"10.1023\/A:1026674013948","article-title":"How many notions of \u2018sharp\u2019?","volume":"38","author":"Cattaneo","year":"1999","journal-title":"International Journal of Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib25","doi-asserted-by":"crossref","first-page":"197","DOI":"10.4006\/1.3035866","article-title":"Preparation-effect versus question-proposition structures","volume":"2","author":"Cattaneo","year":"1989","journal-title":"Physics Essays"},{"key":"10.1016\/S1874-5857(07)80007-0_bib26","doi-asserted-by":"crossref","first-page":"1147","DOI":"10.1007\/BF02055256","article-title":"Some results on BZ structures from hilbertian unsharp quantum physics","volume":"25","author":"Cattaneo","year":"1995","journal-title":"Foundations of Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib27","doi-asserted-by":"crossref","first-page":"1607","DOI":"10.1023\/A:1018862721580","article-title":"Algebraic structures arising in axiomatic unsharp quantum physics","volume":"29","author":"Cattaneo","year":"1999","journal-title":"Foundations of Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib28","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1007\/BF02054668","article-title":"Axiomatic unsharp quantum theory (from Mackey to Ludwig)","volume":"24","author":"Cattaneo","year":"1994","journal-title":"Foundations of Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib29","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0165-0114(89)90239-X","article-title":"Brouwer-Zadeh posets and threevalued \u0141ukasiewicz posets","volume":"33","author":"Cattaneo","year":"1986","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80007-0_bib30","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1090\/S0002-9947-1958-0094302-9","article-title":"Algebraic analysis of many valued logics","volume":"88","author":"Chang","year":"1958","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1874-5857(07)80007-0_bib31","first-page":"467","article-title":"A new proof of the completeness of \u0141ukasiewicz axioms","volume":"93","author":"Chang","year":"1959","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1874-5857(07)80007-0_bib32","article-title":"Algebraic foundations of many-valued reasoning","volume":"vol. 7","author":"Cignoli","year":"2000"},{"issue":"no. 45","key":"10.1016\/S1874-5857(07)80007-0_bib33","first-page":"221","article-title":"A regular sequent calculus for quantum logic in which A and V are dual","volume":"25","author":"Cutland","year":"1982","journal-title":"Logique et Analyse Nouvelle Serie"},{"key":"10.1016\/S1874-5857(07)80007-0_bib34","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/BF02314425","article-title":"Logics based on partial Boolean \u03c3-algebras (i)","volume":"34","author":"Czelakowski","year":"1975","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(07)80007-0_bib35","series-title":"Current Issues in Quantum Logic","first-page":"147","article-title":"Some metalogical pathologies of quantum logic","volume":"vol. 8","author":"Dalla Chiara","year":"1981"},{"key":"10.1016\/S1874-5857(07)80007-0_bib36","doi-asserted-by":"crossref","first-page":"891","DOI":"10.1007\/BF01889304","article-title":"Paraconsistent quantum logics","volume":"19","author":"Dalla Chiara","year":"1989","journal-title":"Foundations of Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib37","doi-asserted-by":"crossref","first-page":"1161","DOI":"10.1007\/BF02057862","article-title":"Unsharp quantum logics","volume":"24","author":"Dalla Chiara","year":"1994","journal-title":"Foundations of Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib38","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF01053029","article-title":"The logics of orthoalgebras","volume":"55","author":"Dalla Chiara","year":"1995","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(07)80007-0_bib39","series-title":"Alfred Tarski and the Vienna Circle","first-page":"127","article-title":"kLukasiewicz theory of truth, from the quantum logical point of view","author":"Dalla Chiara","year":"1999"},{"key":"10.1016\/S1874-5857(07)80007-0_bib40","first-page":"129","article-title":"Quantum logics","volume":"vol. 6","author":"Dalla Chiara","year":"2002"},{"key":"10.1016\/S1874-5857(07)80007-0_bib41","series-title":"Reasoning in quantum theory. Sharp and unsharp quantum logics","author":"Dalla Chiara","year":"2004"},{"key":"10.1016\/S1874-5857(07)80007-0_bib42","series-title":"Quantum theory of open systems","author":"Davies","year":"1976"},{"key":"10.1016\/S1874-5857(07)80007-0_bib43","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/BF02120818","article-title":"Semantics of the minimal logic of quantum mechanics","volume":"30","author":"Dishkant","year":"1972","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(07)80007-0_bib44","series-title":"Algebraic Methods in Philosophical Logic","author":"Dunn","year":"2001"},{"key":"10.1016\/S1874-5857(07)80007-0_bib45","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8222-3","article-title":"Gleason's theorem and its applications","author":"Dvurecenskij","year":"1993"},{"key":"10.1016\/S1874-5857(07)80007-0_bib46","first-page":"259","article-title":"Measures and \u22a5-decomposable measures of effects of a Hilbert space","volume":"45","author":"Dvure\u010denskij","year":"1997","journal-title":"Atti del Seminario Matematico e Fisico dell' Universita di Modena"},{"key":"10.1016\/S1874-5857(07)80007-0_bib47","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0034-4877(94)90034-5","article-title":"D-test spaces and difference poset","volume":"34","author":"Dvure\u010denskij","year":"1994","journal-title":"Reports on Mathematical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib48","article-title":"New trends in quantum structures","volume":"vol. 516","author":"Dvure\u010denskij","year":"2000"},{"key":"10.1016\/S1874-5857(07)80007-0_bib49","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1103\/PhysRev.47.777","article-title":"Can quantum-mechanical description of reality be considered complete?","volume":"47","author":"Einstein","year":"1935","journal-title":"Physical Review"},{"key":"10.1016\/S1874-5857(07)80007-0_bib50","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0004-3702(01)00164-3","article-title":"Quantum logic, Hilbert space, revision theory","volume":"136","author":"Engesser","year":"2002","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1874-5857(07)80007-0_bib51","series-title":"Computer Science Logic 11th International Workshop, CSL'97","first-page":"203","article-title":"Classical proofs via basic logic","volume":"vol. 1414","author":"Faggian","year":"1998"},{"key":"10.1016\/S1874-5857(07)80007-0_bib52","first-page":"31","article-title":"From basic logic to quantum logics with cut-elimination","volume":"12","author":"Faggian","year":"1997","journal-title":"International Journal of Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib53","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1017\/S0004972700041642","article-title":"Quantum logic as an implication algebra","volume":"2","author":"Finch","year":"1970","journal-title":"Bulletin of the Australian Mathematical Society"},{"key":"10.1016\/S1874-5857(07)80007-0_bib54","series-title":"Intuitionistic Logic, Model Theory and Forcing","author":"Fitting","year":"1969"},{"key":"10.1016\/S1874-5857(07)80007-0_bib55","first-page":"1","article-title":"A half-century of quantum logic, what have we learned?","volume":"vol. 7","author":"Foulis","year":"1999"},{"key":"10.1016\/S1874-5857(07)80007-0_bib56","doi-asserted-by":"crossref","first-page":"1687","DOI":"10.1023\/A:1026454318245","article-title":"MV and Heyting effect algebras","volume":"30","author":"Foulis","year":"2000","journal-title":"Foundations of Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib57","doi-asserted-by":"crossref","first-page":"1325","DOI":"10.1007\/BF02283036","article-title":"Effect algebras and unsharp quantum logics","volume":"24","author":"Foulis","year":"1994","journal-title":"Foundations of Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib58","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1023\/A:1003641905541","article-title":"Specification of finite effect algebras","volume":"39","author":"Foulis","year":"2000","journal-title":"International Journal Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib59","series-title":"Calculus with analytic geometry","author":"Foulis","year":"1984"},{"key":"10.1016\/S1874-5857(07)80007-0_bib60","first-page":"9","article-title":"Empirical logic and tensor product","volume":"vol. 5","author":"Foulis","year":"1981"},{"key":"10.1016\/S1874-5857(07)80007-0_bib61","doi-asserted-by":"crossref","first-page":"843","DOI":"10.1007\/BF01906271","article-title":"Properties and operational propositions in quantum mechanics","volume":"13","author":"Foulis","year":"1983","journal-title":"Foundations of Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib62","first-page":"229","article-title":"Quantum Logic","volume":"vol. 15","author":"Foulis","year":"1996"},{"key":"10.1016\/S1874-5857(07)80007-0_bib63","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF00671989","article-title":"Propositions and orthocomplementation in quantum logic","volume":"19","author":"Garola","year":"1980","journal-title":"International Journal of Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib64","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/BF00669903","article-title":"Embedding of posets into lattices in quantum logic","volume":"24","author":"Garola","year":"1985","journal-title":"International Journal of Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib65","series-title":"Physical Reality and Mathematical Description","first-page":"169","article-title":"Weights on spaces","author":"Gerelle","year":"1974"},{"key":"10.1016\/S1874-5857(07)80007-0_bib66","first-page":"353","article-title":"A user-friendly quantum logic","volume":"28","author":"Gibbins","year":"1985","journal-title":"Logique-et-Analyse.-Nouvelle-Serie"},{"key":"10.1016\/S1874-5857(07)80007-0_bib67","series-title":"Particles and paradoxes - the limits of quantum logic","author":"Gibbins","year":"1987"},{"key":"10.1016\/S1874-5857(07)80007-0_bib68","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear logic","volume":"50","author":"Girard","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(07)80007-0_bib69","unstructured":"R. Giuntini, Weakly linear QMV algebras, Algebra Universalis."},{"key":"10.1016\/S1874-5857(07)80007-0_bib70","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1007\/BF01889456","article-title":"Brouwer-Zadeh logic and the operational approach to quantum mechanics","volume":"20","author":"Giuntini","year":"1990","journal-title":"Foundations of Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib71","series-title":"Grundlagen der exakten Naturwissenschaften","article-title":"Quantum logic and hidden variables","author":"Giuntini","year":"1991"},{"key":"10.1016\/S1874-5857(07)80007-0_bib72","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/BF00249437","article-title":"A semantical investigation on Brouwer-Zadeh logic","volume":"20","author":"Giuntini","year":"1991","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(07)80007-0_bib73","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF00370333","article-title":"Brouwer-Zadeh logic, decidability and bimodal systems","volume":"51","author":"Giuntini","year":"1992","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(07)80007-0_bib74","doi-asserted-by":"crossref","first-page":"1875","DOI":"10.1007\/BF00979508","article-title":"Three-valued Brouwer-Zadeh logic","volume":"32","author":"Giuntini","year":"1993","journal-title":"International Journal of Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib75","doi-asserted-by":"crossref","first-page":"1397","DOI":"10.1007\/BF00676251","article-title":"Quasilinear QMV algebras","volume":"34","author":"Giuntini","year":"1995","journal-title":"International Journal of Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib76","series-title":"The Foundations of Quantum Mechanics - Historical Analysis and Open Questions","first-page":"325","article-title":"Unsharp orthoalgebras and quantum MV algebras","author":"Giuntini","year":"1995"},{"key":"10.1016\/S1874-5857(07)80007-0_bib77","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/BF00372773","article-title":"Quantum MV algebras","volume":"56","author":"Giuntini","year":"1996","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(07)80007-0_bib78","series-title":"The Foundations of Quantum Mechanics","article-title":"An independent axiomatization of QMV algebras","author":"Giuntini","year":"2000"},{"key":"10.1016\/S1874-5857(07)80007-0_bib79","doi-asserted-by":"crossref","first-page":"931","DOI":"10.1007\/BF01889307","article-title":"Toward an unsharp language for unsharp properties","volume":"19","author":"Giuntini","year":"1989","journal-title":"Foundations of Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib80","doi-asserted-by":"crossref","first-page":"1567","DOI":"10.1080\/00927870008826914","article-title":"Ideals and congruences in QMV algebras","volume":"28","author":"Giuntini","year":"2000","journal-title":"Communications in Algebra"},{"key":"10.1016\/S1874-5857(07)80007-0_bib81","first-page":"885","article-title":"Measures on the closed subspaces of a Hilbert space","volume":"6","author":"Gleason","year":"1957","journal-title":"Journal of Mathematics and Mechanics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib82","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00652069","article-title":"Semantics analysis of orthologic","volume":"3","author":"Goldblatt","year":"1974","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(07)80007-0_bib83","doi-asserted-by":"crossref","first-page":"401","DOI":"10.2307\/2274172","article-title":"Orthomodularity is not elementary","volume":"49","author":"Goldblatt","year":"1984","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(07)80007-0_bib84","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1016\/S0021-9800(68)80002-X","article-title":"On the structure of orthomodular lattices satisfying the chain condition","volume":"4","author":"Greechie","year":"1968","journal-title":"Journal of Combinatorial Theory"},{"key":"10.1016\/S1874-5857(07)80007-0_bib85","first-page":"1","article-title":"An orthomodular poset with a full set of states not embeddable in Hilbert space","volume":"1","author":"Greechie","year":"1969","journal-title":"Caribbean Journal of Mathematics and Science"},{"key":"10.1016\/S1874-5857(07)80007-0_bib86","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0097-3165(71)90015-X","article-title":"Orthomodular lattices admitting no states","volume":"10","author":"Greechie","year":"1971","journal-title":"Journal of Combinatorial Theory"},{"key":"10.1016\/S1874-5857(07)80007-0_bib87","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF00484954","article-title":"Some results from the combinatorial approach to quantum logic","volume":"29","author":"Greechie","year":"1974","journal-title":"Synthese"},{"key":"10.1016\/S1874-5857(07)80007-0_bib88","series-title":"Quantum Theory and the Structures of Time and Space","first-page":"71","article-title":"On three dimensional quantum proposition systems","author":"Greechie","year":"1975"},{"key":"10.1016\/S1874-5857(07)80007-0_bib89","series-title":"Mathematical Foundations of Quantum Theory","first-page":"71","article-title":"Another nonstandard quantum logic (and how I found it)","author":"Greechie","year":"1978"},{"key":"10.1016\/S1874-5857(07)80007-0_bib90","series-title":"Current Issues in Quantum Logic","first-page":"375","article-title":"A non-standard quantum logic with a strong set of states","volume":"vol. 8","author":"Greechie","year":"1981"},{"key":"10.1016\/S1874-5857(07)80007-0_bib91","doi-asserted-by":"crossref","first-page":"1369","DOI":"10.1007\/BF00676249","article-title":"The transition to effect algebras","volume":"34","author":"Greechie","year":"1995","journal-title":"International Journal of Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib92","first-page":"323","article-title":"A survey of axiomatic quantum mechanics","volume":"vol. II","author":"Gudder","year":"1979"},{"key":"10.1016\/S1874-5857(07)80007-0_bib93","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF02187348","article-title":"Total extensions of effect algebras","volume":"8","author":"Gudder","year":"1995","journal-title":"Foundations of Physics Letters"},{"key":"10.1016\/S1874-5857(07)80007-0_bib94","first-page":"23","article-title":"Sharply dominating effect algebras","volume":"15","author":"Gudder","year":"1998","journal-title":"Tatra Mountains Mathematical Publications"},{"key":"10.1016\/S1874-5857(07)80007-0_bib95","first-page":"317","article-title":"Effect algebra counterexamples","volume":"46","author":"Gudder","year":"1996","journal-title":"Mathematica Slovaca"},{"key":"10.1016\/S1874-5857(07)80007-0_bib96","article-title":"Metamathematics of fuzzy logic","volume":"vol. 4","author":"H\u00e1jek","year":"1998"},{"key":"10.1016\/S1874-5857(07)80007-0_bib97","series-title":"Introduction to Hilbert space and the theory of spectral multiplicity","author":"Halmos","year":"1951"},{"key":"10.1016\/S1874-5857(07)80007-0_bib98","series-title":"Algebraic Logic","author":"Halmos","year":"1962"},{"key":"10.1016\/S1874-5857(07)80007-0_bib99","unstructured":"I. Halperin, Review of J. von Neumann's manuscript \u201cContinuous geometry with transition probability\u201d in [von Neumann, 1961b], pp. 191\u2013194"},{"key":"10.1016\/S1874-5857(07)80007-0_bib100","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00558757","article-title":"Stalnaker conditionals and quantum logic","volume":"4","author":"Hardegree","year":"1975","journal-title":"Journal of Philsophical Logic"},{"key":"10.1016\/S1874-5857(07)80007-0_bib101","series-title":"Logic and Probability in Quantum Mechanics","first-page":"55","article-title":"The conditional in quantum logic","author":"Hardegree","year":"1976"},{"key":"10.1016\/S1874-5857(07)80007-0_bib102","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01837551","article-title":"An axiom system for orthomodular quantum logic","volume":"40","author":"Hardegree","year":"1981","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(07)80007-0_bib103","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1090\/S0273-0979-1995-00593-8","article-title":"Orthomodularity in infinite dimensions: a theorem of M. Sol\u00e8r","volume":"32","author":"Holland","year":"1995","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10.1016\/S1874-5857(07)80007-0_bib104","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/BF00649484","article-title":"Semantic alternatives in partial Boolean quantum logic","volume":"14","author":"Hughes","year":"1985","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(07)80007-0_bib105","series-title":"The structure and interpretation of quantum mechanics","author":"Hughes","year":"1987"},{"key":"10.1016\/S1874-5857(07)80007-0_bib106","series-title":"The philosophy of quantum mechanics","author":"Jammer","year":"1974"},{"key":"10.1016\/S1874-5857(07)80007-0_bib107","doi-asserted-by":"crossref","unstructured":"J.M. Jauch, Foundations of quantum mechanics, London, Addison-Wesley, London, 1968.","DOI":"10.1119\/1.1975143"},{"key":"10.1016\/S1874-5857(07)80007-0_bib108","series-title":"Orthomodular Lattices","author":"Kalmbach","year":"1983"},{"key":"10.1016\/S1874-5857(07)80007-0_bib109","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF01182777","article-title":"Ein nichtklassischer hilbertscher Raum","volume":"172","author":"Keller","year":"1980","journal-title":"Mathematische Zeitschrift"},{"key":"10.1016\/S1874-5857(07)80007-0_bib110","series-title":"Proceedings of the 1964 International Congress for Logic, Methodology and Philosophy of Science","first-page":"45","article-title":"The calculus of partial propositional functions","author":"Kochen","year":"1965"},{"key":"10.1016\/S1874-5857(07)80007-0_bib111","series-title":"The Theory of Models","first-page":"218","article-title":"Logical structures arising in quantum theory","author":"Kochen","year":"1970"},{"key":"10.1016\/S1874-5857(07)80007-0_bib112","first-page":"59","article-title":"The problem of hidden variables in quantum mechanics","volume":"17","author":"Kochen","year":"1967","journal-title":"Journal of Mathematics and Mechanics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib113","first-page":"21","article-title":"D-posets","volume":"44","author":"K\u00f4pka","year":"1994","journal-title":"Mathematica Slovaca"},{"key":"10.1016\/S1874-5857(07)80007-0_bib114","article-title":"States, effects and operations","volume":"vol. 190","author":"Kraus","year":"1983"},{"key":"10.1016\/S1874-5857(07)80007-0_bib115","volume":"vol. 1","author":"Ludwig","year":"1983"},{"key":"10.1016\/S1874-5857(07)80007-0_bib116","series-title":"Selected Work","first-page":"218","article-title":"Logistic and philosophy","author":"\u0141ukasiewicz","year":"1970"},{"key":"10.1016\/S1874-5857(07)80007-0_bib117","series-title":"Selected Work","first-page":"110","article-title":"On determinism","author":"\u0141ukasiewicz","year":"1970"},{"key":"10.1016\/S1874-5857(07)80007-0_bib118","series-title":"Selected Work","article-title":"On three-valued logic","author":"\u0141ukasiewicz","year":"1970"},{"key":"10.1016\/S1874-5857(07)80007-0_bib119","series-title":"The Mathematical Foundations of Quantum Mechanics","author":"Mackey","year":"1957"},{"key":"10.1016\/S1874-5857(07)80007-0_bib120","first-page":"68","article-title":"Su certe algebre connesse con logiche a piu valori","volume":"8","author":"Mangani","year":"1973","journal-title":"Bollettino Unione Matematica Italiana"},{"key":"10.1016\/S1874-5857(07)80007-0_bib121","first-page":"47","article-title":"On the algebraic and kripkean logical consequence relation for orthomodular quantum logic","volume":"21","author":"Minari","year":"1987","journal-title":"Reports on Mathematical Logic"},{"key":"10.1016\/S1874-5857(07)80007-0_bib122","doi-asserted-by":"crossref","first-page":"1358","DOI":"10.1515\/zna-1972-8-935","article-title":"On the interpretation of the lattice of subspaces of Hilbert space as a propositional calculus","volume":"27a","author":"Mittelstaedt","year":"1972","journal-title":"Zeitschrift f\u00fcr Naturforschung"},{"key":"10.1016\/S1874-5857(07)80007-0_bib123","series-title":"Quantum logic","author":"Mittelstaedt","year":"1978"},{"key":"10.1016\/S1874-5857(07)80007-0_bib124","series-title":"Recent developments in quantum logic","year":"1985"},{"key":"10.1016\/S1874-5857(07)80007-0_bib125","series-title":"Sprache und Realit\u00e4t in der modernen Physik","author":"Mittelstaedt","year":"1986"},{"key":"10.1016\/S1874-5857(07)80007-0_bib126","doi-asserted-by":"crossref","first-page":"261","DOI":"10.4153\/CJM-1973-026-2","article-title":"Angle bisection and orthoautomorphisms in Hilbert lattices","volume":"25","author":"Morash","year":"1973","journal-title":"Canadian Journal of Mathematics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib127","series-title":"Knowledge, Belief and Strategic Interaction","article-title":"The logic of Ulam's game with lies","author":"Mundici","year":"1992"},{"key":"10.1016\/S1874-5857(07)80007-0_bib128","doi-asserted-by":"crossref","first-page":"6","DOI":"10.2307\/1968693","article-title":"On rings of operators","volume":"37","author":"Murray","year":"1936","journal-title":"Annals of Mathematics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib129","doi-asserted-by":"crossref","first-page":"3163","DOI":"10.1023\/A:1026626130786","article-title":"Two descriptions of state spaces of orthomodular structures","volume":"38","author":"Navara","year":"1999","journal-title":"International Journal of Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib130","series-title":"Integral, measure and ordering","author":"Neubrunn","year":"1997"},{"key":"10.1016\/S1874-5857(07)80007-0_bib131","doi-asserted-by":"crossref","first-page":"339","DOI":"10.2307\/2273194","article-title":"Sequential method in quantum logic","volume":"45","author":"Nishimura","year":"1980","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(07)80007-0_sbref1290","first-page":"102","article-title":"Proof theory for minimal quantum logic I and II","volume":"33","author":"Nishimura","year":"1994","journal-title":"International Journal of Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_sbref1300","doi-asserted-by":"crossref","first-page":"1427","DOI":"10.1007\/BF00670687","article-title":"Proof theory for minimal quantum logic I and II","volume":"33","author":"Nishimura","year":"1994","journal-title":"International Journal of Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib133","article-title":"Substructural logics: A primer","volume":"vol. 13","author":"Paoli","year":"2002"},{"key":"10.1016\/S1874-5857(07)80007-0_bib134","series-title":"Quantum theory: Concepts and methods","author":"Peres","year":"1995"},{"key":"10.1016\/S1874-5857(07)80007-0_bib135","series-title":"John von Neumann and the theory of operator algebras in The Neumann Compendium. World Scientific Series of 20th Century Mathematics Vol. I","first-page":"163","author":"Petz","year":"1995"},{"key":"10.1016\/S1874-5857(07)80007-0_bib136","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0024-3795(88)90050-X","article-title":"Characterizations of the trace","volume":"111","author":"Petz","year":"1988","journal-title":"Linear Algebra and its Applications"},{"key":"10.1016\/S1874-5857(07)80007-0_bib137","series-title":"Foundations of quantum physics","author":"Piron","year":"1976"},{"key":"10.1016\/S1874-5857(07)80007-0_bib138","article-title":"Quantum probability quantum logic","author":"Pitowsky","year":"1989"},{"key":"10.1016\/S1874-5857(07)80007-0_bib139","series-title":"Workshop on Physics and Computation (PhysComp'92) (Dallas), IEEE","first-page":"166","article-title":"Linear logic for generalized quantum mechanics","author":"Pratt","year":"1993"},{"key":"10.1016\/S1874-5857(07)80007-0_bib140","series-title":"Fundamental Theories of Physics","article-title":"Orthomodular structures as quantum logics","author":"Pt\u00e1k","year":"1991"},{"key":"10.1016\/S1874-5857(07)80007-0_bib141","doi-asserted-by":"crossref","first-page":"1689","DOI":"10.1007\/BF00676282","article-title":"Representation of D-posets","volume":"34","author":"Pulmannov\u00e1","year":"1995","journal-title":"International Journal of Theorethical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib142","first-page":"216","article-title":"Is logic empirical?","volume":"vol. 5","author":"Putnam","year":"1969"},{"key":"10.1016\/S1874-5857(07)80007-0_bib143","doi-asserted-by":"crossref","first-page":"1503","DOI":"10.1023\/A:1026462019270","article-title":"kLukasiewicz operations in fuzzy set theories and many-valued representations of quantum logics","volume":"30","author":"Pykacz","year":"2000","journal-title":"Foundations of Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib144","unstructured":"M. R\u00e9dei: The birth of quantum logic, manuscript, submitted."},{"key":"10.1016\/S1874-5857(07)80007-0_bib145","unstructured":"M. R\u00e9dei, Von Neumann's concept of quantum logic and quantum probability, in [R\u00e9dei and St\u00f6ltzner, 2001]."},{"key":"10.1016\/S1874-5857(07)80007-0_bib146","series-title":"John von Neumann and the Foundations of Quantum Physics","author":"R\u00e9dei","year":"2001"},{"key":"10.1016\/S1874-5857(07)80007-0_bib147","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF03025331","article-title":"\u201cUnsolved problems in mathematics\u201d J. von Neumann's address to the International Congress of Mathematicians Amsterdam, September 2\u20139, 1954","volume":"21","author":"R\u00e9dei","year":"1999","journal-title":"The Mathematical Intelligencer"},{"key":"10.1016\/S1874-5857(07)80007-0_bib148","series-title":"Quantum Logic in Algebraic Approach","author":"R\u00e9dei","year":"1998"},{"key":"10.1016\/S1874-5857(07)80007-0_bib149","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1016\/S1355-2198(96)00017-2","article-title":"Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead)","volume":"27","author":"R\u00e9dei","year":"1996","journal-title":"Studies in the History and Philosophy of Modern Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib150","series-title":"Incompleteness, nonlocality and realism - a prolegomenon to the philosophy of quantum mechanics","author":"Redhead","year":"1987"},{"key":"10.1016\/S1874-5857(07)80007-0_bib151","volume":"vol. I","author":"Reed","year":"1972"},{"key":"10.1016\/S1874-5857(07)80007-0_bib152","doi-asserted-by":"crossref","first-page":"3209","DOI":"10.1023\/A:1026682215765","article-title":"Subalgebras, intervals, and central elements of generalized effect algebras","volume":"38","author":"Riecanova","year":"1999","journal-title":"International Journal of Theoretical Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib153","series-title":"Quantales and their Applications","author":"Rosenthal","year":"1990"},{"key":"10.1016\/S1874-5857(07)80007-0_bib154","doi-asserted-by":"crossref","first-page":"979","DOI":"10.2307\/2586685","article-title":"Basic logic: reflection, symmetry, visibility","volume":"65","author":"Sambin","year":"2000","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(07)80007-0_bib155","article-title":"Quantum Mechanics on Phase Space","volume":"vol. 74","author":"Schroeck","year":"1996"},{"key":"10.1016\/S1874-5857(07)80007-0_bib156","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1080\/00927879508825218","article-title":"Characterization of Hilbert spaces by orthomodular spaces","volume":"23","author":"Sol\u00e8r","year":"1995","journal-title":"Communications in Algebra"},{"key":"10.1016\/S1874-5857(07)80007-0_bib157","series-title":"Ifs. Conditionals, Belief, Decision, Chance, and Time","first-page":"41","article-title":"A theory of conditionals","author":"Stalnaker","year":"1981"},{"key":"10.1016\/S1874-5857(07)80007-0_bib158","series-title":"Quantum logic","author":"Svozil","year":"1998"},{"key":"10.1016\/S1874-5857(07)80007-0_bib159","series-title":"Theory of Operator Algebras, I","author":"Takesaki","year":"1979"},{"key":"10.1016\/S1874-5857(07)80007-0_bib160","series-title":"Current Issues in Quantum Logic","first-page":"303","article-title":"Quantum set theory","volume":"vol. 8","author":"Takeuti","year":"1981"},{"key":"10.1016\/S1874-5857(07)80007-0_bib161","first-page":"133","article-title":"A Gentzen formulation without the cut rule for ortholattices","volume":"5","author":"Tamura","year":"1988","journal-title":"Kobe Journal of Mathematics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib162","series-title":"Logical and Epistemological Studies in Contemporary Physics","first-page":"224","article-title":"The labyrinth of quantum logics","volume":"vol. 13","author":"van Fraassen","year":"1974"},{"key":"10.1016\/S1874-5857(07)80007-0_bib163","series-title":"Quantum Mechanics. an empiricist view","author":"van Fraassen","year":"1991"},{"key":"10.1016\/S1874-5857(07)80007-0_bib164","series-title":"Geometry of quantum theory","author":"Varadarajan","year":"1985"},{"key":"10.1016\/S1874-5857(07)80007-0_bib165","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/BF01203155","article-title":"Grundlagen der Wahrscheinlichkeitsrechnung","volume":"5","author":"von Mises","year":"1919","journal-title":"Mathematische Zeitschrift"},{"key":"10.1016\/S1874-5857(07)80007-0_bib166","series-title":"Probability, Statistics and Truth","author":"von Mises","year":"1981"},{"key":"10.1016\/S1874-5857(07)80007-0_bib167","first-page":"151","article-title":"Mathematische Begr\u00fcndung der Quantenmechanik","volume":"1-57","author":"von Neumann","year":"1927","journal-title":"G\u00f6ttinger Nachrichten"},{"key":"10.1016\/S1874-5857(07)80007-0_bib168","series-title":"G\u00f6ttinger Nachrichten","first-page":"245","article-title":"Wahrscheinlichkeitstheoretischer Aufbau der Quantenmechanik","author":"von Neumann","year":"1927"},{"key":"10.1016\/S1874-5857(07)80007-0_bib169","series-title":"G\u00f6ttinger Nachrichten","first-page":"245","article-title":"Thermodynamik quantenmechanischer Gesamtheiten","author":"von Neumann","year":"1927"},{"key":"10.1016\/S1874-5857(07)80007-0_bib170","series-title":"Mathematische Grundlagen der Quantenmechanik","author":"von Neumann","year":"1943"},{"key":"10.1016\/S1874-5857(07)80007-0_bib171","series-title":"Unfinished manuscript","first-page":"195","article-title":"Quantum logics (strictand probability logics)","author":"von Neumann","year":"1961"},{"key":"10.1016\/S1874-5857(07)80007-0_bib172","series-title":"Letter to Dr. Silsbee","author":"von Neumann","year":"1945"},{"key":"10.1016\/S1874-5857(07)80007-0_bib173","doi-asserted-by":"crossref","unstructured":"[von Neumann, 2001] J. von Neumann, Unsolved problems in mathematics, in [R\u00e9dei and St\u00f6ltzner, 2001].","DOI":"10.1007\/978-94-017-2012-0_16"},{"key":"10.1016\/S1874-5857(07)80007-0_bib174","series-title":"Address to the World Congress of Mathematics","first-page":"231","article-title":"Unsolved problems in mathematics","author":"von Neumann","year":"1954"},{"key":"10.1016\/S1874-5857(07)80007-0_bib175","unstructured":"John von Neumann, Selected Letters, ed. by M. R\u00e9dei (forthcoming)."},{"key":"10.1016\/S1874-5857(07)80007-0_bib176","series-title":"Collected Works Vol. I. Logic, Theory of Sets and Quantum Mechanics","author":"von Neumann","year":"1962"},{"key":"10.1016\/S1874-5857(07)80007-0_bib177","series-title":"Collected Works Vol. III. Rings of Operators","author":"von Neumann","year":"1961"},{"key":"10.1016\/S1874-5857(07)80007-0_bib178","series-title":"Collected Works Vol. IV. Continuous Geometry and Other Topics","author":"von Neumann","year":"1961"},{"issue":"No. 252","key":"10.1016\/S1874-5857(07)80007-0_bib179","first-page":"1","volume":"34","author":"von Neumann","year":"1981","journal-title":"Continuous Geometries with Transition Probability Memoirs of the American Mathematical Society"},{"key":"10.1016\/S1874-5857(07)80007-0_bib180","doi-asserted-by":"crossref","first-page":"881","DOI":"10.1007\/BF01889696","article-title":"Generalized urn models","volume":"20","author":"Wright","year":"1990","journal-title":"Foundations of Physics"},{"key":"10.1016\/S1874-5857(07)80007-0_bib181","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","article-title":"Fuzzy sets and","volume":"8","author":"Zadeh","year":"1965","journal-title":"Information and Control"},{"key":"10.1016\/S1874-5857(07)80007-0_bib182","doi-asserted-by":"crossref","first-page":"1151","DOI":"10.2140\/pjm.1961.11.1151","article-title":"Axioms for non-relativistic quantum mechanics","volume":"11","author":"Zierler","year":"1961","journal-title":"Pacific Journal of Mathematics"}],"container-title":["Handbook of the History of Logic","The Many Valued and Nonmonotonic Turn in Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1874585707800070?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1874585707800070?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,26]],"date-time":"2020-04-26T11:46:33Z","timestamp":1587901593000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1874585707800070"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780444516237"],"references-count":183,"URL":"https:\/\/doi.org\/10.1016\/s1874-5857(07)80007-0","relation":{},"ISSN":["1874-5857"],"issn-type":[{"value":"1874-5857","type":"print"}],"subject":[],"published":{"date-parts":[[2007]]}}}