{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:42:38Z","timestamp":1728175358111},"reference-count":39,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2012,1,1]]},"DOI":"10.1215\/00294527-1722719","type":"journal-article","created":{"date-parts":[[2012,11,8]],"date-time":"2012-11-08T14:20:17Z","timestamp":1352384417000},"source":"Crossref","is-referenced-by-count":14,"title":["New Consecution Calculi for R\u2192t"],"prefix":"10.1215","volume":"53","author":[{"given":"Katalin","family":"Bimb\u00f3","sequence":"first","affiliation":[]},{"given":"J. Michael","family":"Dunn","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Ackermann, W., \u201cBegr\u00fcndung einer strengen Implikation,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 21 (1956), pp. 113\u201328.","DOI":"10.2307\/2268750"},{"key":"2","unstructured":"[2] Anderson, A. R., \u201cEntailment shorn of modality\u201d (abstract), <i>Journal of Symbolic Logic<\/i>, vol. 25 (1960), p. 388."},{"key":"3","unstructured":"[3] Anderson, A. R., and N. D. Belnap, <i>Entailment. The Logic of Relevance and Necessity<\/i>, Vol. I, Princeton University Press, Princeton, 1975."},{"key":"4","unstructured":"[4] Anderson, A. R., N. D. Belnap, and J. M. Dunn, <i>Entailment. The Logic of Relevance and Necessity<\/i>, Vol. II, Princeton University Press, Princeton, 1992."},{"key":"5","unstructured":"[5] Belnap, N. D., and J. R. Wallace, \u201cA decision procedure for the system $E_{\\overline{I}}$ of entailment with negation,\u201d Technical Report 11, Contract No. SAR\/609 (16), Office of Naval Research, New Haven, 1961."},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Belnap, N. D., and J. R. Wallace, \u201cA decision procedure for the system $E_{\\overline{I}}$ of entailment with negation,\u201d <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 11 (1965), pp. 277\u201389.","DOI":"10.1002\/malq.19650110403"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Bimb\u00f3, K., \u201cAdmissibility of cut in ${LC}$ with fixed point combinator,\u201d <i>Studia Logica<\/i>, vol. 81 (2005), pp. 399\u2013423.","DOI":"10.1007\/s11225-005-4651-y"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Bimb\u00f3, K., \u201cTypes of I-free hereditary right maximal terms,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 34 (2005), pp. 607\u201320.","DOI":"10.1007\/s10992-005-2831-x"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Bimb\u00f3, K., \u201c$LE^{\\,t}_{\\to}$, $LR^{^{_{\\scriptstyle\\circ}}}_{\\overset{\\scriptscriptstyle\\land}{\\scriptscriptstyle\\sim}}$, $LK$ and cutfree proofs,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 36 (2007), pp. 557\u201370.","DOI":"10.1007\/s10992-007-9048-0"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Bimb\u00f3, K., \u201cRelevance logics,\u201d pp. 723\u201389 in <i>Philosophy of Logic<\/i>, edited by D. Jacquette, vol. 5 of <i>Handbook of the Philosophy of Science<\/i>, Elsevier (North-Holland), Amsterdam, 2007.","DOI":"10.1016\/B978-044451541-4\/50022-1"},{"key":"11","unstructured":"[11] Bimb\u00f3, K., and J. M. Dunn, <i>Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi<\/i>, vol. 188 of <i>CSLI Lecture Notes<\/i>, CSLI Publications, Stanford, 2008."},{"key":"12","unstructured":"[12] Bimb\u00f3, K., and J. M. Dunn, \u201cFrom relevant implication to ticket entailment\u201d (abstract), <i>Bulletin of Symbolic Logic<\/i>, vol. 18 (2012), p. 288."},{"key":"13","unstructured":"[13] Bimb\u00f3, K., and J. M. Dunn, \u201cThe decision problem of $T_{\\to}$\u201d (abstract), to appear in <i>Bulletin of Symbolic Logic<\/i>."},{"key":"14","unstructured":"[14] Bimb\u00f3, K., and J. M. Dunn, \u201cOn the decision problem of $T_{\\to}$,\u201d to appear in <i>Journal of Symbolic Logic<\/i>."},{"key":"15","unstructured":"[15] Church, A., \u201cThe weak theory of implication,\u201d pp. 22\u201337 in <i>Kontrolliertes Denken, Untersuchungen zum Logikkalk\u00fcl und zur Logik der Einzelwissenschaften<\/i>, edited by A. Menne, A. Wilhelmy, and H. Angsil, Verlag Karl Alber, Munich, 1951."},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] Ciabattoni, A., and K. Terui, \u201cTowards a semantic characterization of cut-elimination,\u201d <i>Studia Logica<\/i>, vol. 82 (2006), pp. 95\u2013119.","DOI":"10.1007\/s11225-006-6607-2"},{"key":"17","unstructured":"[17] Curry, H. B., <i>Foundations of Mathematical Logic<\/i>, corrected reprint, Dover, New York, 1977."},{"key":"18","unstructured":"[18] Curry, H. B., J. R. Hindley, and J. P. Seldin, <i>Combinatory Logic, vol. II<\/i>, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1972."},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] Do\u0161en, K., \u201cThe first axiomatization of relevant logic,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 21 (1992), pp. 339\u201356.","DOI":"10.1007\/BF00260740"},{"key":"20","unstructured":"[20] Dunn, J. M., \u201cThe Algebra of Intensional Logics,\u201d Ph.D. dissertation, University of Pittsburgh, 1966."},{"key":"21","unstructured":"[21] Dunn, J. M., \u201cA \u2018Gentzen system\u2019 for positive relevant implication\u201d (abstract), <i>Journal of Symbolic Logic<\/i>, vol. 38 (1973), pp. 356\u201357."},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] Dunn, J. M., \u201cRelevance logic and entailment,\u201d pp. 117\u2013224 in <i>Handbook of Philosophical Logic<\/i>, vol. III, edited by D. Gabbay and F. Guenthner, vol. 166 of <i>Synthese Library<\/i>, D. Reidel, Dordrecht, 1986.","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] Dunn, J. M., and R. K. Meyer, \u201cCombinators and structurally free logic,\u201d <i>Logic Journal of the IGPL<\/i>, vol. 5 (1997), pp. 505\u201337.","DOI":"10.1093\/jigpal\/5.4.505"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] Dunn, J. M., and G. Restall, \u201cRelevance logic,\u201d pp. 1\u2013128 in <i>Handbook of Philosophical Logic<\/i>, vol. 6, 2nd ed., edited by D. Gabbay and F. Guenthner, Kluwer, Dordrecht, 2002.","DOI":"10.1007\/978-94-017-0460-1_1"},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] Gentzen, G., \u201cUntersuchungen \u00fcber das logische Schlie\u00dfen, I\u201d <i>Mathematische Zeitschrift<\/i>, vol. 39 (1935), pp. 176\u2013210.","DOI":"10.1007\/BF01201353"},{"key":"26","unstructured":"[26] Gentzen, G., \u201cInvestigations into logical deduction,\u201d <i>American Philosophical Quarterly<\/i>, vol. 1 (1964), pp. 288\u2013306."},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] Kripke, S. A., \u201cThe problem of entailment\u201d (abstract), <i>Journal of Symbolic Logic<\/i>, vol. 24 (1959), p. 324.","DOI":"10.2307\/2964568"},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] Mares, E. D., and R. K. Meyer, \u201cRelevant logics,\u201d pp. 280\u2013308 in <i>The Blackwell Guide to Philosophical Logic<\/i>, edited by L. Goble, Blackwell Philosophy Guides, Blackwell, Oxford, UK, 2001.","DOI":"10.1111\/b.9780631206934.2001.00016.x"},{"key":"29","doi-asserted-by":"crossref","unstructured":"[29] Meyer, R. K., \u201cIntuitionism, entailment, negation,\u201d pp. 168\u201398 in <i>Truth, Syntax and Modality (Philadelphia, 1970)<\/i>, edited by H. Leblanc, vol. 68 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1973.","DOI":"10.1016\/S0049-237X(08)71540-4"},{"key":"30","doi-asserted-by":"publisher","unstructured":"[30] Meyer, R. K., \u201cSentential constants in $\\mathrm{R}$ and $\\mathrm{R}_{\\lnot}$,\u201d <i>Studia Logica<\/i>, vol. 45 (1986), pp. 301\u201327.","DOI":"10.1007\/BF00375901"},{"key":"31","doi-asserted-by":"publisher","unstructured":"[31] Meyer, R. K., \u201cImproved decision procedures for pure relevant logic,\u201d pp. 191\u2013217 in <i>Logic, Meaning and Computation. Essays in Memory of Alonzo Church<\/i>, edited by C. A. Anderson and M. Zel\u00ebny, vol. 305 of <i>Synthese Library<\/i>, Kluwer Academic Publishers, Dordrecht, 2001.","DOI":"10.1007\/978-94-010-0526-5_9"},{"key":"32","doi-asserted-by":"crossref","unstructured":"[32] Meyer, R. K., and M. A. McRobbie, \u201cMultisets and relevant implication, I,\u201d <i>Australasian Journal of Philosophy<\/i>, vol. 60 (1982), pp. 107\u201339.","DOI":"10.1080\/00048408212340551"},{"key":"33","doi-asserted-by":"crossref","unstructured":"[33] Meyer, R. K., and M. A. McRobbie, \u201cMultisets and relevant implication, II,\u201d <i>Australasian Journal of Philosophy<\/i>, vol. 60 (1982), pp. 265\u201381.","DOI":"10.1080\/00048408212340681"},{"key":"34","unstructured":"[34] Meyer, R. K., and R. Routley, \u201cAlgebraic analysis of entailment, I,\u201d <i>Logique et Analyse (New Series)<\/i>, vol. 15 (1972), pp. 407\u201328."},{"key":"35","unstructured":"[35] Moh, S.-K., \u201cThe deduction theorems and two new logical systems,\u201d <i>Methodos<\/i>, vol. 2 (1950), pp. 56\u201375."},{"key":"36","unstructured":"[36] Orlov, I. E., \u201cThe calculus of compatibility of propositions\u201d (in Russian), <i>Matematicheskii Sbornik<\/i>, vol. 35 (1928), pp. 263\u201386."},{"key":"37","unstructured":"[37] Routley, R., R. K. Meyer, V. Plumwood, and R. T. Brady, <i>Relevant Logics and Their Rivals, Part I<\/i>, Ridgeview Publishing, Atascadero, Calif., 1982."},{"key":"38","unstructured":"[38] Sch\u00f6nfinkel, M., \u201cOn the building blocks of mathematical logic,\u201d pp. 355\u201366 in <i>From Frege to G\u00f6del. A Source Book in Mathematical Logic<\/i>, edited by J. van Heijenoort, Harvard University Press, Cambridge, MA, 1967 (1924)."},{"key":"39","doi-asserted-by":"publisher","unstructured":"[39] Urquhart, A., \u201cThe undecidability of entailment and relevant implication,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 49 (1984), pp. 1059\u201373.","DOI":"10.2307\/2274261"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1722719","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:56Z","timestamp":1706648276000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-4\/New-Consecution-Calculi-for-Rt\/10.1215\/00294527-1722719.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":39,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1722719","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}