{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:46:11Z","timestamp":1742935571791,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031626869"},{"type":"electronic","value":"9783031626876"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-62687-6_8","type":"book-chapter","created":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T15:01:50Z","timestamp":1717772510000},"page":"108-121","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Rules of\u00a0Partial Orthomodularity"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1017-8921","authenticated-orcid":false,"given":"Mena","family":"Leemhuis","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9185-0147","authenticated-orcid":false,"given":"Diedrich","family":"Wolter","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7140-2574","authenticated-orcid":false,"given":"\u00d6zg\u00fcr L.","family":"\u00d6z\u00e7ep","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,8]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Ann. Math. 37, 823\u2013843 (1936)","journal-title":"Ann. Math."},{"issue":"12","key":"8_CR2","doi-asserted-by":"publisher","first-page":"3740","DOI":"10.1007\/s10773-016-3258-6","volume":"56","author":"S Bonzio","year":"2016","unstructured":"Bonzio, S., Chajda, I.: A note on orthomodular lattices. Int. J. Theor. Phys. 56(12), 3740\u20133743 (2016). https:\/\/doi.org\/10.1007\/s10773-016-3258-6","journal-title":"Int. J. Theor. Phys."},{"issue":"3","key":"8_CR3","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/s11083-017-9448-x","volume":"35","author":"I Chajda","year":"2018","unstructured":"Chajda, I., L\u00e4nger, H.: Weakly orthomodular and dually weakly orthomodular lattices. Order 35(3), 541\u2013555 (2018). https:\/\/doi.org\/10.1007\/s11083-017-9448-x","journal-title":"Order"},{"key":"8_CR4","unstructured":"Conradie, W., Palmigiano, A., Robinson, C., Wijnberg, N.: Non-distributive logics: from semantics to meaning. arXiv e-prints arXiv:2002.04257 (2020)"},{"issue":"2","key":"8_CR5","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/bf02120877","volume":"35","author":"ML Dalla Chiara","year":"1976","unstructured":"Dalla Chiara, M.L.: A general approach to non-distributive logics. Stud. Logica. 35(2), 139\u2013162 (1976). https:\/\/doi.org\/10.1007\/bf02120877","journal-title":"Stud. Logica."},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"Fussner, W., St. John, G.: Negative translations of orthomodular lattices and their logic. Electron. Proc. Theor. Comput. Sci. 343, 37\u201349 (2021). https:\/\/doi.org\/10.4204\/EPTCS.343.3","DOI":"10.4204\/EPTCS.343.3"},{"issue":"6","key":"8_CR7","doi-asserted-by":"publisher","first-page":"1145","DOI":"10.1007\/s11225-016-9670-3","volume":"104","author":"R Giuntini","year":"2016","unstructured":"Giuntini, R., Ledda, A., Paoli, F.: A new view of effects in a hilbert space. Stud. Logica. 104(6), 1145\u20131177 (2016). https:\/\/doi.org\/10.1007\/s11225-016-9670-3","journal-title":"Stud. Logica."},{"issue":"1","key":"8_CR8","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF00652069","volume":"3","author":"RI Goldblatt","year":"1974","unstructured":"Goldblatt, R.I.: Semantic analysis of orthologic. J. Philos. Log. 3(1), 19\u201335 (1974). https:\/\/doi.org\/10.1007\/BF00652069","journal-title":"J. Philos. Log."},{"key":"8_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-0018-1","volume-title":"Lattice Theory: Foundation","author":"G Gr\u00e4tzer","year":"2011","unstructured":"Gr\u00e4tzer, G.: Lattice Theory: Foundation. Springer, Basel (2011). https:\/\/doi.org\/10.1007\/978-3-0348-0018-1"},{"key":"8_CR10","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-319-29300-4_14","volume-title":"J. Michael Dunn on Information Based Logics","author":"C Hartonas","year":"2016","unstructured":"Hartonas, C.: Reasoning with incomplete information in generalized galois logics without distribution: the case of negation and modal operators. In: Bimb\u00f3, K. (ed.) J. Michael Dunn on Information Based Logics. OCL, vol. 8, pp. 279\u2013312. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-29300-4_14"},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Husimi, K.: Studies on the foundation of quantum mechanics. i. Proceedings of the Physico-Mathematical Society of Japan. 3rd Series, vol. 19, pp. 766\u2013789 (1937). https:\/\/doi.org\/10.11429\/ppmsj1919.19.0_766","DOI":"10.11429\/ppmsj1919.19.0_766"},{"key":"8_CR12","unstructured":"Kalmbach, G.: Orthomodular Lattices. Academic Press, Cambridge (1983)"},{"key":"8_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/J.IJAR.2023.109013","volume":"162","author":"M Leemhuis","year":"2023","unstructured":"Leemhuis, M., \u00d6z\u00e7ep, \u00d6.L.: Conceptual orthospaces - convexity meets negation. Int. J. Approx. Reason. 162, 109013 (2023). https:\/\/doi.org\/10.1016\/J.IJAR.2023.109013","journal-title":"Int. J. Approx. Reason."},{"issue":"11\u201312","key":"8_CR14","doi-asserted-by":"publisher","first-page":"1159","DOI":"10.1007\/S10472-022-09806-1","volume":"90","author":"M Leemhuis","year":"2022","unstructured":"Leemhuis, M., \u00d6z\u00e7ep, \u00d6.L., Wolter, D.: Learning with cone-based geometric models and orthologics. Ann. Math. Artif. Intell. 90(11\u201312), 1159\u20131195 (2022). https:\/\/doi.org\/10.1007\/S10472-022-09806-1","journal-title":"Ann. Math. Artif. Intell."},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1613\/JAIR.1.13939","volume":"78","author":"\u00d6L \u00d6z\u00e7ep","year":"2023","unstructured":"\u00d6z\u00e7ep, \u00d6.L., Leemhuis, M., Wolter, D.: Embedding ontologies in the description logic ALC by axis-aligned cones. J. Artif. Intell. Res. 78, 217\u2013267 (2023). https:\/\/doi.org\/10.1613\/JAIR.1.13939","journal-title":"J. Artif. Intell. Res."},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"R\u00e9dei, M.: Quantum Logic in Algebraic Approach. Fundamental Theories of Physics. Springer, Dordrecht (1998). https:\/\/doi.org\/10.1007\/978-94-015-9026-6","DOI":"10.1007\/978-94-015-9026-6"},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/j.ejc.2014.06.004","volume":"42","author":"L Santocanale","year":"2014","unstructured":"Santocanale, L., Wehrung, F.: The extended permutohedron on a transitive binary relation. Eur. J. Comb. 42, 179\u2013206 (2014). https:\/\/doi.org\/10.1016\/j.ejc.2014.06.004","journal-title":"Eur. J. Comb."},{"key":"8_CR18","doi-asserted-by":"publisher","unstructured":"Stern, M.: Semimodular Lattices. Vieweg+Teubner Verlag (1991). https:\/\/doi.org\/10.1007\/978-3-663-12478-8","DOI":"10.1007\/978-3-663-12478-8"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62687-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T15:02:34Z","timestamp":1717772554000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62687-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031626869","9783031626876"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62687-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"8 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WoLLIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Language, Information, and Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bern","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wollic2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/wollic2024.inf.unibe.ch\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}