{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T17:29:20Z","timestamp":1758475760107},"reference-count":38,"publisher":"Elsevier","isbn-type":[{"value":"9780444528704","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1016\/b978-044452870-4\/50033-9","type":"book-chapter","created":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T17:58:36Z","timestamp":1192039116000},"page":"477-523","source":"Crossref","is-referenced-by-count":21,"title":["Propositional systems, Hilbert lattices and generalized hilbert spaces"],"prefix":"10.1016","author":[{"given":"Isar","family":"Stubbe","sequence":"first","affiliation":[]},{"given":"Bart Van","family":"Steirteghem","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/B978-044452870-4\/50033-9_bib1","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1023\/A:1003661015110","article-title":"Quantum axiomatics and a theorem of M.P. Sol\u00e8r","volume":"39","author":"Aerts","year":"2000","journal-title":"Int. J. Theor. Phys."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib2","doi-asserted-by":"crossref","first-page":"423","DOI":"10.2977\/prims\/1195195769","article-title":"A Remark on Piron's Paper","volume":"2","author":"Amemiya","year":"1966","journal-title":"Publ. Res. Inst. Math. Sci. Ser. A"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib3","series-title":"Geometric algebra","author":"Artin","year":"1957"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib4","series-title":"Linear algebra and projective geometry","author":"Baer","year":"1952"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib5","series-title":"Projective Geometry. From foundations to applications","author":"Beutelspacher","year":"1998"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib6","series-title":"Lattice theory","author":"Birkhoff","year":"1967"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib7","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":"Ann. of Math."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib8","volume":"3 volumes","author":"Borceux","year":"1994"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib9","series-title":"Finite geometry and combinatorics (Deinze, 1992)","first-page":"69","article-title":"A theorem of Parmentier characterizing projective spaces by polarities","author":"Buekenhout","year":"1993"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib10","doi-asserted-by":"crossref","first-page":"1705","DOI":"10.1023\/B:IJTP.0000048815.92983.6e","article-title":"The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes","volume":"43","author":"Coecke","year":"2004","journal-title":"Internat. J. Theoret. Phys."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib11","first-page":"420","article-title":"Impossibility of quantum mechanics in a Hilbert space over a finite field","volume":"42","author":"Eckmann","year":"1969","journal-title":"Helv. Phys. Acta"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib12","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\/B978-044452870-4\/50033-9_bib13","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1023\/A:1014933313332","article-title":"An elementary proof of the fundamental theorem of projective geometry","volume":"90","author":"Faure","year":"2002","journal-title":"Geom. Ded."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib14","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1515\/advg.2004.003","article-title":"Morphisms of projective spaces over rings","volume":"4","author":"Faure","year":"2004","journal-title":"Adv. Geom."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib15","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF01263491","article-title":"Morphisms of projective geometries and of corresponding lattices","volume":"47","author":"Faure","year":"1993","journal-title":"Geom. Ded."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib16","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BF01263998","article-title":"Morphisms of Projective Geometries and Semilinear Maps","volume":"53","author":"Faure","year":"1994","journal-title":"Geom. Ded."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib17","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF01263563","article-title":"Dualities for Infinite-Dimensional Projective Geometries","volume":"56","author":"Faure","year":"1995","journal-title":"Geom. Ded."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib18","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF00160623","article-title":"The dimension theorem in axiomatic geometry","volume":"60","author":"Faure","year":"1996","journal-title":"Geom. Ded."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib19","series-title":"Modern projective geometry","author":"Faure","year":"2000"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib20","series-title":"General lattice theory","author":"Gr\u00e4tzer","year":"1998"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib21","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":"Bull. Amer. Math. Soc."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib22","first-page":"635","article-title":"On the impossibility of a finite propositional system for quantum mechanics","volume":"51","author":"Ivert","year":"1978","journal-title":"Helv. Phys. Acta"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib23","article-title":"Orthomodular lattices","volume":"18","author":"Kalmbach","year":"1983"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib24","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF01182777","article-title":"Ein nicht-klassicher Hilbertscher Raum","volume":"172","author":"Keller","year":"1980","journal-title":"Math. Z."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib25","series-title":"Categories for the working mathematician","author":"Lane","year":"1971"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib26","author":"Maeda","year":"1970"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib27","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1023\/A:1026669407606","article-title":"Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms","volume":"37","author":"Mayet","year":"1998","journal-title":"Int. J. Theor. Phys."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib28","first-page":"658","article-title":"Representations of physical systems","volume":"68","author":"Moore","year":"1995","journal-title":"Helv. Phys. Acta"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib29","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S1355-2198(98)00033-1","article-title":"On state spaces and property lattices","volume":"30","author":"Moore","year":"1999","journal-title":"Stud. Hist. Philos. Sci. B Stud. Hist. Philos. Modern Phys."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib30","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":"Canad. J. Math."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib31","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1090\/S0002-9947-1902-1500595-3","article-title":"A simple non-Desarguesian plane geometry","volume":"3","author":"Moulton","year":"1902","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib32","first-page":"439","article-title":"Axiomatique Quantique","volume":"37","author":"Piron","year":"1964","journal-title":"Helv. Phys. Acta"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib33","author":"Piron","year":"1976"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib34","unstructured":"A. Prestel. Sol\u00e8r's Theorem, this volume."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib35","doi-asserted-by":"crossref","first-page":"293","DOI":"10.32917\/hmj\/1557281141","article-title":"Orthocomplemented lattices satisfying the exchange axiom","volume":"17","author":"Sasaki","year":"1954","journal-title":"J. Sci. Hiroshima Univ. Ser. A."},{"key":"10.1016\/B978-044452870-4\/50033-9_bib36","series-title":"Analyse, deuxi\u00e8me partie: Topologie g\u00e9n\u00e9rale et analyse fonctionnelle","author":"Schwartz","year":"1970"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib37","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1080\/00927879508825218","article-title":"Characterization of Hilbert spaces with orthomodular spaces","volume":"23","author":"Sol\u00e8r","year":"1995","journal-title":"Comm. Algebra"},{"key":"10.1016\/B978-044452870-4\/50033-9_bib38","author":"Veblen","year":"1910-1918"}],"container-title":["Handbook of Quantum Logic and Quantum Structures"],"original-title":[],"language":"en","deposited":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T04:57:19Z","timestamp":1587963439000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780444528704500339"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780444528704"],"references-count":38,"URL":"https:\/\/doi.org\/10.1016\/b978-044452870-4\/50033-9","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}