{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T21:48:55Z","timestamp":1772574535790,"version":"3.50.1"},"reference-count":11,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":8685,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1990,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We prove that no logic (i.e. consequence operation) determined by any class of orthomodular lattices admits the deduction theorem (Theorem 2.7). We extend those results to some broader class of logics determined by ortholattices (Corollary 2.6).<\/jats:p>","DOI":"10.2307\/2274651","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:35:29Z","timestamp":1146940529000},"page":"615-625","source":"Crossref","is-referenced-by-count":16,"title":["The deduction theorem for quantum logic\u2014some negative results"],"prefix":"10.1017","volume":"55","author":[{"given":"Jacek","family":"Malinowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200026013_ref004","volume-title":"Universal algebra","author":"Gr\u00e4tzer","year":"1980"},{"key":"S0022481200026013_ref006","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19740202504"},{"key":"S0022481200026013_ref008","volume-title":"Orthomodular lattices","author":"Kalmbach","year":"1983"},{"key":"S0022481200026013_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BF01967818"},{"key":"S0022481200026013_ref002","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370428"},{"key":"S0022481200026013_ref003","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1970-0265258-1"},{"key":"S0022481200026013_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-3228-2_21"},{"key":"S0022481200026013_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/BF02123412"},{"key":"S0022481200026013_ref010","volume-title":"An algebraic approach to non-classical logics","author":"Rasiowa","year":"1974"},{"key":"S0022481200026013_ref011","doi-asserted-by":"publisher","DOI":"10.1007\/BF02123806"},{"key":"S0022481200026013_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-3228-2_11"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200026013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T17:13:04Z","timestamp":1558199584000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200026013\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,6]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1990,6]]}},"alternative-id":["S0022481200026013"],"URL":"https:\/\/doi.org\/10.2307\/2274651","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,6]]}}}