{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:18:37Z","timestamp":1743005917378,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319669014"},{"type":"electronic","value":"9783319669021"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66902-1_3","type":"book-chapter","created":{"date-parts":[[2017,8,29]],"date-time":"2017-08-29T11:34:20Z","timestamp":1504006460000},"page":"44-61","source":"Crossref","is-referenced-by-count":1,"title":["On the Decidability of Certain Semi-Lattice Based Modal Logics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6769-9704","authenticated-orcid":false,"given":"Katalin","family":"Bimb\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,30]]},"reference":[{"key":"3_CR1","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"AR Anderson","year":"1975","unstructured":"Anderson, A.R., Belnap, N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (1975)"},{"key":"3_CR2","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"AR Anderson","year":"1992","unstructured":"Anderson, A.R., Belnap, N.D., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol. II. Princeton University Press, Princeton (1992)"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"ND Belnap","year":"1982","unstructured":"Belnap, N.D.: Display logic. J. Philos. Logic 11, 375\u2013417 (1982)","journal-title":"J. Philos. Logic"},{"key":"3_CR4","unstructured":"Belnap, N.D., Wallace, J.R.: A decision procedure for the system $$E_{\\overline{I}}$$ E I \u00af of entailment with negation. Technical report 11, Contract No. SAR\/609 (16), Office of Naval Research, New Haven (1961)"},{"key":"3_CR5","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1002\/malq.19650110403","volume":"11","author":"ND Belnap","year":"1965","unstructured":"Belnap, N.D., Wallace, J.R.: A decision procedure for the system $$E_{\\overline{I}}$$ E I \u00af of entailment with negation. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 11, 277\u2013289 (1965)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s11225-005-4651-y","volume":"81","author":"K Bimb\u00f3","year":"2005","unstructured":"Bimb\u00f3, K.: Admissibility of cut in $${LC}$$ L C with fixed point combinator. Stud. Logica 81, 399\u2013423 (2005). https:\/\/doi.org\/10.1007\/s11225-005-4651-y","journal-title":"Stud. Logica"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/s10992-007-9048-0","volume":"36","author":"K Bimb\u00f3","year":"2007","unstructured":"Bimb\u00f3, K.: $$LE^{\\,t}_\\rightarrow $$ L E \u2192 t , $${LR^{^{_{\\scriptstyle \\circ }}}_{\\overset{\\scriptscriptstyle \\wedge }{\\scriptscriptstyle \\sim }}}$$ L R \u223c \u2227 \u2218 , $$LK$$ L K and cutfree proofs. J. Philos. Logic 36, 557\u2013570 (2007). https:\/\/doi.org\/10.1007\/s10992-007-9048-0","journal-title":"J. Philos. Logic"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2015.06.019","volume":"597","author":"K Bimb\u00f3","year":"2015","unstructured":"Bimb\u00f3, K.: The decidability of the intensional fragment of classical linear logic. Theoret. Comput. Sci. 597, 1\u201317 (2015). https:\/\/doi.org\/10.1016\/j.tcs.2015.06.019","journal-title":"Theoret. Comput. Sci."},{"key":"3_CR9","series-title":"Discrete Mathematics and Its Applications","doi-asserted-by":"publisher","DOI":"10.1201\/b17294","volume-title":"Proof Theory: Sequent Calculi and Related Formalisms","author":"K Bimb\u00f3","year":"2015","unstructured":"Bimb\u00f3, K.: Proof Theory: Sequent Calculi and Related Formalisms. Discrete Mathematics and Its Applications. CRC Press, Boca Raton (2015). https:\/\/doi.org\/10.1201\/b17294"},{"key":"3_CR10","series-title":"CSLI Lecture Notes","volume-title":"Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi","author":"K Bimb\u00f3","year":"2008","unstructured":"Bimb\u00f3, K., Dunn, J.M.: Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi. CSLI Lecture Notes, vol. 188. CSLI Publications, Stanford (2008)"},{"key":"3_CR11","series-title":"Linguistic Analysis","first-page":"307","volume-title":"Festschrift for Joachim Lambek","author":"K Bimb\u00f3","year":"2010","unstructured":"Bimb\u00f3, K., Dunn, J.M.: Calculi for symmetric generalized Galois logics. In: van Benthem, J., Moortgat, M. (eds.) Festschrift for Joachim Lambek. Linguistic Analysis, vol. 36, pp. 307\u2013343. Linguistic Analysis, Vashon (2010)"},{"issue":"4","key":"3_CR12","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1215\/00294527-1722719","volume":"53","author":"K Bimb\u00f3","year":"2012","unstructured":"Bimb\u00f3, K., Dunn, J.M.: New consecution calculi for $$R_\\rightarrow ^{\\, {t}}$$ R \u2192 t . Notre Dame J. Formal Logic 53(4), 491\u2013509 (2012). https:\/\/doi.org\/10.1215\/00294527-1722719","journal-title":"Notre Dame J. Formal Logic"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"214","DOI":"10.2178\/jsl.7801150","volume":"78","author":"K Bimb\u00f3","year":"2013","unstructured":"Bimb\u00f3, K., Dunn, J.M.: On the decidability of implicational ticket entailment. J. Symb. Logic 78(1), 214\u2013236 (2013). https:\/\/doi.org\/10.2178\/jsl.7801150","journal-title":"J. Symb. Logic"},{"key":"3_CR14","unstructured":"Bimb\u00f3, K., Dunn, J.M.: Modalities in lattice- $$R$$ R (2015). (manuscript, 34 pages)"},{"volume-title":"Logical Modalities from Aristotle to Carnap. The Story of Necessity","year":"2016","key":"3_CR15","unstructured":"Cresswell, M., Mares, E., Rini, A. (eds.): Logical Modalities from Aristotle to Carnap. The Story of Necessity. Cambridge University Press, Cambridge (2016)"},{"key":"3_CR16","volume-title":"A Theory of Formal Deducibility. No. 6 in Notre Dame Mathematical Lectures","author":"HB Curry","year":"1950","unstructured":"Curry, H.B.: A Theory of Formal Deducibility. No. 6 in Notre Dame Mathematical Lectures. University of Notre Dame Press, Notre Dame (1950)"},{"key":"3_CR17","volume-title":"Foundations of Mathematical Logic","author":"HB Curry","year":"1963","unstructured":"Curry, H.B.: Foundations of Mathematical Logic. McGraw-Hill Book Company, New York (1963). (Dover, New York, 1977)"},{"key":"3_CR18","first-page":"356","volume":"38","author":"JM Dunn","year":"1973","unstructured":"Dunn, J.M.: A \u2018Gentzen system\u2019 for positive relevant implication (abstract). J. Symb. Logic 38, 356\u2013357 (1973)","journal-title":"J. Symb. Logic"},{"key":"3_CR19","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-94-009-5203-4_3","volume-title":"Handbook of Philosophical Logic","author":"JM Dunn","year":"1986","unstructured":"Dunn, J.M.: Relevance logic and entailment. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 3, 1st edn, pp. 117\u2013224. D. Reidel, Dordrecht (1986)","edition":"1"},{"key":"3_CR20","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","author":"JM Dunn","year":"1995","unstructured":"Dunn, J.M.: Positive modal logic. Stud. Logica. 55, 301\u2013317 (1995)","journal-title":"Stud. Logica."},{"key":"3_CR21","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1093\/jigpal\/5.4.505","volume":"5","author":"JM Dunn","year":"1997","unstructured":"Dunn, J.M., Meyer, R.K.: Combinators and structurally free logic. Logic J. IGPL 5, 505\u2013537 (1997)","journal-title":"Logic J. IGPL"},{"key":"3_CR22","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"JM Dunn","year":"2002","unstructured":"Dunn, J.M., Restall, G.: Relevance logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 6, 2nd edn, pp. 1\u2013128. Kluwer, Amsterdam (2002)","edition":"2"},{"key":"3_CR23","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G Gentzen","year":"1935","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u00dfen. Mathematische Zeitschrift 39, 176\u2013210 (1935)","journal-title":"Mathematische Zeitschrift"},{"key":"3_CR24","first-page":"300","volume-title":"Collected Works","author":"K G\u00f6del","year":"1986","unstructured":"G\u00f6del, K.: Eine Interpretation des intuitionistischen Aussagenkalk\u00fcls. In: Feferman, S. (ed.) Collected Works, vol. I, pp. 300\u2013303. Oxford University Press and Clarendon Press, New York and Oxford (1986)"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Kopylov, A.P.: Decidability of linear affine logic. In: Meyer, A.R. (ed.) Special issue: LICS 1995, Information and Computation, vol. 164, pp. 173\u2013198. IEEE (2001)","DOI":"10.1006\/inco.1999.2834"},{"key":"3_CR26","doi-asserted-by":"crossref","first-page":"324","DOI":"10.2307\/2964568","volume":"24","author":"SA Kripke","year":"1959","unstructured":"Kripke, S.A.: The problem of entailment (abstract). J. Symb. Logic 24, 324 (1959)","journal-title":"J. Symb. Logic"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Kripke, S.A.: Semantical analysis of modal logic I. Normal modal propositional calculi. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik, pp. 67\u201396 (1963)","DOI":"10.1002\/malq.19630090502"},{"key":"3_CR28","doi-asserted-by":"crossref","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. Am. Math. Mon. 65, 154\u2013169 (1958)","journal-title":"Am. Math. Mon."},{"key":"3_CR29","doi-asserted-by":"crossref","DOI":"10.1525\/9780520398252","volume-title":"A Survey of Symbolic Logic","author":"CI Lewis","year":"1918","unstructured":"Lewis, C.I.: A Survey of Symbolic Logic. University of California Press, Berkeley (1918). (Dover Publications, Mineola, 1960)"},{"key":"3_CR30","unstructured":"Meyer, R.K.: Topics in modal and many-valued logic. Ph.D. thesis, University of Pittsburgh, Ann Arbor (UMI) (1966)"},{"key":"3_CR31","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-94-010-0526-5_9","volume-title":"Logic, Meaning and Computation: Essays in Memory of Alonzo Church","author":"RK Meyer","year":"2001","unstructured":"Meyer, R.K.: Improved decision procedures for pure relevant logic. In: Anderson, C.A., Zel\u00ebny, M. (eds.) Logic, Meaning and Computation: Essays in Memory of Alonzo Church, pp. 191\u2013217. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"3_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"RM Smullyan","year":"1968","unstructured":"Smullyan, R.M.: First-Order Logic. Springer, New York (1968). https:\/\/doi.org\/10.1007\/978-3-642-86718-7 . (Dover, New York 1995)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66902-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,26]],"date-time":"2024-06-26T14:48:34Z","timestamp":1719413314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66902-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319669014","9783319669021"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66902-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}