{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T03:51:03Z","timestamp":1791258663997,"version":"4.1.0"},"reference-count":14,"publisher":"Oxford University Press (OUP)","issue":"6","license":[{"start":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T00:00:00Z","timestamp":1791158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/pages\/standard-publication-reuse-rights"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,11,25]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Quantum logic has no canonical implication connective, and polynomial candidates differ in the inferential principles they satisfy. We study a relational strict implication in quantum modal logic and interpret it through the modal accessibility relation. On reflexive modal frames, a formula formed with this connective is valid exactly when its antecedent semantically entails its consequent. The connective therefore internalizes semantic consequence. The forcing condition links modal accessibility to non-orthogonality. Consequently, any formula whose principal connective is this strict implication has the same truth value throughout each component determined by non-orthogonality. The truth set of each such formula therefore belongs to the Boolean algebra of unions of these components. We also establish further semantic laws and analyze quantum disjunction, contraposition, and nested implications.<\/jats:p>","DOI":"10.1093\/jigpal\/jzag052","type":"journal-article","created":{"date-parts":[[2026,9,4]],"date-time":"2026-09-04T11:39:16Z","timestamp":1788521956000},"source":"Crossref","is-referenced-by-count":0,"title":["Strict implication in quantum modal logic"],"prefix":"10.1093","volume":"34","author":[{"given":"Kenji","family":"Tokuo","sequence":"first","affiliation":[{"name":"Department of Information Engineering , Oita College, National Institute of Technology, Oita 870-0152, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2026,10,5]]},"reference":[{"key":"2026100523091584400_ref1","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","article-title":"The logic of quantum mechanics","volume":"37","author":"Birkhoff","year":"1936","journal-title":"Ann Math"},{"key":"2026100523091584400_ref2","article-title":"Strict-weak languages. An analysis of strict implication","author":"Bou Moliner","year":"2004"},{"key":"2026100523091584400_ref3","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1002\/malq.19870330503","article-title":"Weak logics with strict implication","volume":"33","author":"Corsi","year":"1987","journal-title":"Math Log Q"},{"key":"2026100523091584400_ref4","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/978-94-017-0460-1_2","article-title":"Quantum logics","volume-title":"Handbook of Philosophical Logic","author":"Dalla Chiara","year":"2002"},{"key":"2026100523091584400_ref5","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF00652069","article-title":"Semantic analysis of orthologic","volume":"3","author":"Goldblatt","year":"1974","journal-title":"J Philos Log"},{"key":"2026100523091584400_ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-9351-8_4","article-title":"The conditional in abstract and concrete quantum logic","volume-title":"The Logico-Algebraic Approach to Quantum Mechanics, Vol. II: Contemporary Consolidation, 49\u2013108, The Western Ontario Series in Philosophy of Science, Vol. 5b","author":"Hardegree","year":"1979"},{"key":"2026100523091584400_ref7","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1305\/ndjfl\/1093883401","article-title":"Material implication in orthomodular (and Boolean) lattices","volume":"22","author":"Hardegree","year":"1981","journal-title":"Notre Dame J Form Log"},{"key":"2026100523091584400_ref8","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"Hughes","year":"1996"},{"key":"2026100523091584400_ref9","article-title":"Orthomodular lattices","volume-title":"London Mathematical Society Monographs","author":"Kalmbach","year":"1983"},{"key":"2026100523091584400_ref10","doi-asserted-by":"publisher","first-page":"73","DOI":"10.18778\/0138-0680.2021.22","article-title":"Sequent calculi for orthologic with strict implication","volume":"51","author":"Kawano","year":"2022","journal-title":"Bull Sect Log"},{"key":"2026100523091584400_ref11","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1093\/logcom\/exw012","article-title":"Unified correspondence and proof theory for strict implication","volume":"27","author":"Ma","year":"2017","journal-title":"J Log Comput"},{"key":"2026100523091584400_ref12","doi-asserted-by":"publisher","first-page":"339","DOI":"10.2307\/2273194","article-title":"Sequential method in quantum logic","volume":"45","author":"Nishimura","year":"1980","journal-title":"J Symb Log"},{"key":"2026100523091584400_ref13","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzae123","article-title":"Quantum modal logic","volume":"33","author":"Tokuo","year":"2025","journal-title":"Log J IGPL"},{"key":"2026100523091584400_ref14","article-title":"Component modalities of quantum logic","author":"Tokuo","year":"2026"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/34\/6\/jzag052\/71608732\/jzag052.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/34\/6\/jzag052\/71608732\/jzag052.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T03:09:27Z","timestamp":1791256167000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/doi\/10.1093\/jigpal\/jzag052\/8866019"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,10,5]]},"references-count":14,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2026,11,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzag052","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2026,12]]},"published":{"date-parts":[[2026,10,5]]},"article-number":"jzag052"}}