{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,6]],"date-time":"2024-01-06T08:30:43Z","timestamp":1704529843610},"reference-count":18,"publisher":"Oxford University Press (OUP)","issue":"1","license":[{"start":{"date-parts":[[2020,9,4]],"date-time":"2020-09-04T00:00:00Z","timestamp":1599177600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,1,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>The main result proves Lyndon\u2019s and Craig\u2019s interpolation properties for the logic of strict implication ${\\textsf{F}}$, with a purely syntactical method. A cut-free G3-style sequent calculus $ {\\textsf{GF}} $ and its single-succedent variant $ \\textsf{GF}_{\\textsf{s}} $ are introduced. $ {\\textsf{GF}} $ can be extended to a G3-variant of the sequent calculus GBPC3 for Visser\u2019s basic logic. Also a simple syntactic proof of known embedding result of $ {\\textsf{F}} $ into $ {\\textsf{K}} $ is provided. An extension of $ {\\textsf{F}} $, namely $ \\textsf{FD}, $ is considered as well.<\/jats:p>","DOI":"10.1093\/jigpal\/jzaa029","type":"journal-article","created":{"date-parts":[[2020,6,24]],"date-time":"2020-06-24T19:15:02Z","timestamp":1593026102000},"page":"34-70","source":"Crossref","is-referenced-by-count":1,"title":["Lyndon\u2019s interpolation property for the logic of strict implication"],"prefix":"10.1093","volume":"30","author":[{"given":"Narbe","family":"Aboolian","sequence":"first","affiliation":[{"name":"School of Mathematics, Statistics and Computer Science, College of Science, University of Tehran, P.O. Box 14155-6455, Tehran, 41155-6455, Iran"}]},{"given":"Majid","family":"Alizadeh","sequence":"additional","affiliation":[{"name":"School of Mathematics, Statistics and Computer Science, College of Science, University of Tehran, P.O. Box 14155-6455, Tehran, 41155-6455, Iran"}]}],"member":"286","published-online":{"date-parts":[[2020,9,4]]},"reference":[{"key":"2022011721250562200_ref1","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1023\/A:1012499207246","article-title":"Gentzen-style axiomatizations for some conservative extensions of basic propositional logic","volume":"68","author":"Aghaei","year":"2001","journal-title":"Studia Logica"},{"key":"2022011721250562200_ref2","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1305\/ndjfl\/1063372244","article-title":"A closer look at some subintuitionistic logics","volume":"42","author":"Celani","year":"2001","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2022011721250562200_ref3","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1002\/malq.19870330503","article-title":"Weak logics with strict implication","volume":"33","author":"Corsi","year":"1987","journal-title":"Mathematical Logic Quarterly"},{"key":"2022011721250562200_ref4","doi-asserted-by":"crossref","first-page":"269","DOI":"10.2307\/2963594","article-title":"Three uses of the herbrand-gentzen theorem in relating model theory and proof theory","volume":"22","author":"Craig","year":"1957","journal-title":"The Journal of Symbolic Logic"},{"key":"2022011721250562200_ref5","first-page":"333","article-title":"Subintuitionistic logics with Kripke semantics","volume-title":"International Tbilisi Symposium on Logic, Language, and Computation","author":"de Jongh","year":"2015"},{"key":"2022011721250562200_ref6","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-94-015-8242-1_4","article-title":"Modal translations in K and D","volume-title":"Diamonds and Defaults","author":"Do\u0161en","year":"1993"},{"key":"2022011721250562200_ref7","doi-asserted-by":"crossref","first-page":"795","DOI":"10.2307\/2275431","article-title":"Contraction-free sequent calculi for intuitionistic logic","volume":"57","author":"Dyckhoff","year":"1992","journal-title":"The Journal of Symbolic Logic"},{"key":"2022011721250562200_ref8","doi-asserted-by":"crossref","first-page":"849","DOI":"10.1007\/s11229-011-9905-9","article-title":"Does the deduction theorem fail for modal logic?","volume":"187","author":"Hakli","year":"2012","journal-title":"Synthese"},{"key":"2022011721250562200_ref9","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1093\/jigpal\/jzm058","article-title":"Sequent calculi for some strict implication logics","volume":"16","author":"Ishigaki","year":"2008","journal-title":"Logic Journal of IGPL"},{"key":"2022011721250562200_ref10","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1002\/1521-3870(200201)48:1<87::AID-MALQ87>3.0.CO;2-N","article-title":"Dual-context sequent calculus and strict implication","volume":"48","author":"Kikuchi","year":"2002","journal-title":"Mathematical Logic Quarterly"},{"key":"2022011721250562200_ref11","doi-asserted-by":"crossref","first-page":"129","DOI":"10.2140\/pjm.1959.9.129","article-title":"An interpolation theorem in the predicate calculus","volume":"9","author":"Lyndon","year":"1959","journal-title":"Pacific Journal of Mathematics"},{"key":"2022011721250562200_ref12","first-page":"235","article-title":"On the interpolation theorem of Craig","volume":"12","author":"Maehara","year":"1960","journal-title":"S\u00fbgaku"},{"key":"2022011721250562200_ref13","volume-title":"Structural Proof Theory","author":"Negri","year":"2008"},{"key":"2022011721250562200_ref14","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/2275175","article-title":"On an interpretation of second order quantification in first order intuitionistic propositional logic","volume":"57","author":"Pitts","year":"1992","journal-title":"The Journal of Symbolic Logic"},{"key":"2022011721250562200_ref15","volume-title":"Logic and provability","author":"Sasaki","year":"2001"},{"key":"2022011721250562200_ref16","first-page":"214","article-title":"Weak subintuitionistic logics","volume":"25","author":"Maleki","year":"2016","journal-title":"Logic Journal of the IGPL"},{"key":"2022011721250562200_ref17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"Troelstra","year":"2000"},{"key":"2022011721250562200_ref18","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/978-3-662-48357-2_11","article-title":"Constructive embedding from extensions of logics of strict implication into modal logics","volume-title":"Structural Analysis of Non-classical Logics","author":"Yamasaki","year":"2016"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/30\/1\/34\/42198303\/jzaa029.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/30\/1\/34\/42198303\/jzaa029.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,17]],"date-time":"2022-01-17T21:27:29Z","timestamp":1642454849000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/30\/1\/34\/5900437"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,4]]},"references-count":18,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2020,9,4]]},"published-print":{"date-parts":[[2022,1,11]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzaa029","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2022,2]]},"published":{"date-parts":[[2020,9,4]]}}}