Description

• Title:
  From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
• Creator:
  von Plato, Jan
• Contributor:
  University of Helsinki, Department of Philosophy, Helsinki, Finland;
  jan.vonplato@helsinki.fi
• Description:
  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.;
  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ę.
• Object availability:
  free access
• Rights:
  © Copyright by Authors, Łódź 2017; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2017
• Date:
  2018.04.24;
  2017
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;1/2;
  46
• Subject:
  proof systems;
  linear natural deduction;
  Gentzen;
  Jaśkowski
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/24562 ;
  2449-836X;
  10.18778/0138-0680.46.1.2.06
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  seek permission
• Type:
  image