| dc.contributor.author | von Plato, Jan | |
| dc.date.accessioned | 2018-04-24T08:00:09Z | |
| dc.date.available | 2018-04-24T08:00:09Z | |
| dc.date.issued | 2017 | |
| dc.identifier.issn | 0138-0680 | |
| dc.identifier.uri | http://hdl.handle.net/11089/24562 | |
| dc.description.abstract | The way from linearly written derivations in natural deduction, introduced by Jaskowski and often used in textbooks, is a straightforward root-first translation. The other direction, instead, is tricky, because of the partially ordered assumption formulas in a tree that can get closed by the end of a derivation. An algorithm is defined that operates alternatively from the leaves and root of a derivation and solves the problem. | en_GB |
| dc.description.sponsorship | Zadanie „ Wdrożenie platformy Open Journal System dla czasopisma „ Bulletin of the Section of Logic” finansowane w ramach umowy 948/P-DUN/2016 ze środków Ministra Nauki i Szkolnictwa Wyższego przeznaczonych na działalność upowszechniającą naukę. | en_GB |
| dc.language.iso | en | en_GB |
| dc.publisher | Wydawnictwo Uniwersytetu Łódzkiego | en_GB |
| dc.relation.ispartofseries | Bulletin of the Section of Logic;1/2 | |
| dc.subject | proof systems | en_GB |
| dc.subject | linear natural deduction | en_GB |
| dc.subject | Gentzen | en_GB |
| dc.subject | Jaśkowski | en_GB |
| dc.title | From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction | en_GB |
| dc.type | Article | en_GB |
| dc.rights.holder | © Copyright by Authors, Łódź 2017; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2017 | en_GB |
| dc.page.number | [65]-73 | |
| dc.contributor.authorAffiliation | University of Helsinki, Department of Philosophy, Helsinki, Finland | |
| dc.identifier.eissn | 2449-836X | |
| dc.references | H. Curry, (1965) Remarks on inferential deduction, [in:] A. Tyminiecka (ed.), Contributions to Logic and Methodology in Honor of J. M. Bochenski, North-Holland (1965), pp. 45–72. | en_GB |
| dc.references | G. Gentzen, Untersuchungen über das logische Schliessen, Mathematische Zeitschrift, vol. 39 (1934-35), pp. 176–210 and 405-431. | en_GB |
| dc.references | S. Jaśkowski, On the rules of supposition in formal logic (1934), as reprinted [in:] S. McCall (ed.), Polish Logic 1920–1939, pp. 232–258, Oxford U. P. 1967. | en_GB |
| dc.references | J. von Plato, Natural deduction with general elimination rules, Archive for Mathematical Logic, vol. 40 (2001), pp. 541–567. | en_GB |
| dc.references | J. von Plato, Elements of Logical Reasoning, Cambridge, 2013. | en_GB |
| dc.references | D. Prawitz, ABC i Symbolisk Logik, Mimeographed compendium. Later expanded and printed editions with Bokförlaget Thales, 1973. | en_GB |
| dc.contributor.authorEmail | jan.vonplato@helsinki.fi | |
| dc.identifier.doi | 10.18778/0138-0680.46.1.2.06 | |
| dc.relation.volume | 46 | en_GB |
