From Gentzen to Jaskowski and Back : Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction

Show full item record



Permalink

http://hdl.handle.net/10138/311950

Citation

von Plato , J 2017 , ' From Gentzen to Jaskowski and Back : Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction ' , University of Lodz. Department of Logic. Bulletin of the Section of Logic , vol. 46 , no. 1/2 , pp. 65-74 . https://doi.org/10.18778/0138-0680.46.1.2.06

Title: From Gentzen to Jaskowski and Back : Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
Author: von Plato, Jan
Contributor: University of Helsinki, Department of Philosophy, History and Art Studies
Date: 2017
Language: eng
Number of pages: 10
Belongs to series: University of Lodz. Department of Logic. Bulletin of the Section of Logic
ISSN: 0138-0680
URI: http://hdl.handle.net/10138/311950
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.
Subject: 611 Philosophy
Rights:


Files in this item

Total number of downloads: Loading...

Files Size Format View
2930_Article_Text_10069_1_10_20180419.pdf 129.9Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record