{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T16:51:08Z","timestamp":1648745468555},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2007,4,17]],"date-time":"2007-04-17T00:00:00Z","timestamp":1176768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2007,8,22]]},"DOI":"10.1007\/s10992-007-9048-0","type":"journal-article","created":{"date-parts":[[2007,4,18]],"date-time":"2007-04-18T13:05:10Z","timestamp":1176901510000},"page":"557-570","source":"Crossref","is-referenced-by-count":10,"title":["% MathType!Translator!2!1!AMS LaTeX.tdl!TeX -- AMS-LaTeX! % MathType!MTEF!2!1!+- % feaaeaart1ev0aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbbjxAHX % garmWu51MyVXgatuuDJXwAK1uy0HwmaeHbfv3ySLgzG0uy0Hgip5wz % aebbnrfifHhDYfgasaacH8qrps0lbbf9q8WrFfeuY-Hhbbf9v8qqaq % Fr0xc9pk0xbba9q8WqFfea0-yr0RYxir-Jbba9q8aq0-yq-He9q8qq % Q8frFve9Fve9Ff0dmeaabaqaciGacaGaaeqabaWaaeWaeaaakeaaca % WGmbGaamyramaaDaaaleaacqGHsgIRaeaacaWG0baaaaaa!3C3E! $$ LE^{t}_{ \\to } $$ , % MathType!Translator!2!1!AMS LaTeX.tdl!TeX -- AMS-LaTeX! % MathType!MTEF!2!1!+- % feaaeaart1ev0aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbbjxAHX % garmWu51MyVXgatuuDJXwAK1uy0HwmaeHbfv3ySLgzG0uy0Hgip5wz % aebbnrfifHhDYfgasaacH8qrps0lbbf9q8WrFfeuY-Hhbbf9v8qqaq % Fr0xc9pk0xbba9q8WqFfea0-yr0RYxir-Jbba9q8aq0-yq-He9q8qq % Q8frFve9Fve9Ff0dmeaabaqaciGacaGaaeqabaWaaeWaeaaakeaaie % GacaWFmbGaa8NuamaaDaaaleaadaqiaaqaaiablYJi6aGaayPadaaa % baGaeSigI8gaaaaa!3C8D! $$LR^{ \\circ }_{{\\widehat{ \\sim }}}$$ , LK and Cutfree Proofs"],"prefix":"10.1007","volume":"36","author":[{"given":"Katalin","family":"Bimb\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,4,17]]},"reference":[{"key":"9048_CR1","volume-title":"Entailment. The Logic of Relevance and Necessity, Vol. I","author":"A. R. Anderson","year":"1975","unstructured":"Anderson, A. R. and Belnap, N. D.: Entailment. The Logic of Relevance and Necessity, Vol. I., Princeton University Press, Princeton, NJ, 1975."},{"key":"9048_CR2","volume-title":"Entailment. The Logic of Relevance and Necessity, Vol. II","author":"A. R. Anderson","year":"1992","unstructured":"Anderson, A. R., Belnap, N. D., and Dunn, J. M.: Entailment. The Logic of Relevance and Necessity, Vol. II, Princeton University Press, Princeton, NJ, 1992."},{"key":"9048_CR3","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1002\/malq.19650110403","volume":"11","author":"N. D. Belnap","year":"1965","unstructured":"Belnap, N. D. and Wallace, J. R.: A decision procedure for the system % MathType!Translator!2!1!AMS LaTeX.tdl!TeX -- AMS-LaTeX! % MathType!MTEF!2!1!+- % feaaeaart1ev0aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbbjxAHX % garmWu51MyVXgatuuDJXwAK1uy0HwmaeHbfv3ySLgzG0uy0Hgip5wz % aebbnrfifHhDYfgasaacH8qrps0lbbf9q8WrFfeuY-Hhbbf9v8qqaq % Fr0xc9pk0xbba9q8WqFfea0-yr0RYxir-Jbba9q8aq0-yq-He9q8qq % Q8frFve9Fve9Ff0dmeaabaqaciGacaGaaeqabaWaaeWaeaaakeaaca % WGfbWaaSbaaSqaamaanaaabaGaamysaaaaaeqaaaaa!3965! $$ E_{{\\overline{I} }} $$ , of entailment with negation. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 11 (1965), 277\u2013289.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"9048_CR4","doi-asserted-by":"crossref","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 with fixed point combinator. Studia Logica 81 (2005), 399\u2013423.","journal-title":"Studia Logica"},{"key":"9048_CR5","doi-asserted-by":"crossref","unstructured":"Bimb\u00f3, K.: Relevance logics, in D. Jacquette (ed.), Philosophy of logic, vol. 5 of Handbook of the philosophy of science. D. Gabbay, P. Thagard and J. Woods (eds.), Elsevier (North-Holland), Amsterdam, 2007, pp. 723\u2013789.","DOI":"10.1016\/B978-044451541-4\/50022-1"},{"key":"9048_CR6","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1093\/jigpal\/6.3.403","volume":"6","author":"K. Bimb\u00f3","year":"1998","unstructured":"Bimb\u00f3, K. and Dunn, J. M.: Two extensions of the structurally free logic % MathType!Translator!2!1!AMS LaTeX.tdl!TeX -- AMS-LaTeX! % MathType!MTEF!2!1!+- % feaaeaart1ev0aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbbjxAHX % garmWu51MyVXgatuuDJXwAK1uy0HwmaeHbfv3ySLgzG0uy0Hgip5wz % aebbnrfifHhDYfgasaacH8qrps0lbbf9q8WrFfeuY-Hhbbf9v8qqaq % Fr0xc9pk0xbba9q8WqFfea0-yr0RYxir-Jbba9q8aq0-yq-He9q8qq % Q8frFve9Fve9Ff0dmeaabaqaciGacaGaaeqabaWaaeWaeaaakeaaca % WGmbGaam4qaaaa!3929! $$ LC $$ , Logic Journal of IGPL 6 (1998), 403\u2013424.","journal-title":"Logic Journal of IGPL"},{"key":"9048_CR7","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-94-009-5203-4_3","volume-title":"Handbook of Philosophical Logic, Vol. 3","author":"J. M. Dunn","year":"1986","unstructured":"Dunn, J. M.: Relevance logic and entailment, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 3, 1st edn., Reidel, Dordrecht, 1986, pp. 117\u2013229.","edition":"1"},{"key":"9048_CR8","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1093\/jigpal\/5.4.505","volume":"5","author":"J. M. Dunn","year":"1997","unstructured":"Dunn, J. M. and Meyer, R. K.: Combinators and structurally free logic, Logic Journal of IGPL 5 (1997), 505\u2013537.","journal-title":"Logic Journal of IGPL"},{"key":"9048_CR9","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, I, Mathematische Zeitschrift 39 (1935a), 176\u2013210.","journal-title":"Mathematische Zeitschrift"},{"key":"9048_CR10","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF01201363","volume":"39","author":"G. Gentzen","year":"1935","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u00dfen, II, Mathematische Zeitschrift 39 (1935b), 405\u2013431.","journal-title":"Mathematische Zeitschrift"},{"key":"9048_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S. Negri","year":"2001","unstructured":"Negri, S. and von Plato, J.: Structural Proof Theory, Cambridge University Press, Cambridge, UK, 2001."},{"key":"9048_CR12","volume-title":"Automated Theorem Proving in Non-classical Logics","author":"P. B. Thistlewaite","year":"1988","unstructured":"Thistlewaite, P. B., McRobbie, M. A., and Meyer, R. K.: Automated Theorem Proving in Non-classical Logics, Pitman, London, UK, 1988."},{"key":"9048_CR13","volume-title":"Basic Proof Theory, in Cambridge Tracts in Theoretical Computer Science, Vol. 43","author":"A. S. Troelstra","year":"2000","unstructured":"Troelstra, A. S. and Schwichtenberg, H.: Basic proof theory, in Cambridge Tracts in Theoretical Computer Science, Vol. 43, 2nd edn. Cambridge University Press, Cambridge, UK, 2000.","edition":"2"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-007-9048-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-007-9048-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-007-9048-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T21:29:47Z","timestamp":1559338187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-007-9048-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4,17]]},"references-count":13,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2007,8,22]]}},"alternative-id":["9048"],"URL":"https:\/\/doi.org\/10.1007\/s10992-007-9048-0","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,4,17]]}}}