Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs

DOI10.1007/s11225-018-9828-2OpenAlexW2893317412WikidataQ113900500 ScholiaQ113900500MaRDI QIDQ2278834

Shawn Standefer

Publication date: 11 December 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9828-2

zbMATH Keywords

proof theorycascade systemstree systems

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Characteristics of de Bruijn’s early proof checker Automath ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS

Uses Software

• LPL software
• Pesca

Cites Work

• General-elimination stability
• Free semantics
• General-elimination harmony and the meaning of the logical constants
• Natural deduction and Curry's paradox
• Multiset theory
• Fitch-style rules for many modal logics
• Natural deduction in normal modal logic
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• Normal proofs, cut free derivations and structural rules
• A decision procedure for Fitch's propositional calculus
• A Brief History of Natural Deduction
• A new S4 classical modal logic in natural deduction
• Gentzen's Proof of Normalization for Natural Deduction
• A natural extension of natural deduction
• Assumption Classes in Natural Deduction
• Sequent calculus in natural deduction style
• From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
• Simulation of Natural Deduction and Gentzen Sequent Calculus
• Trees for E
• Natural deduction via graphs: formal definition and computation rules
• Normalized natural deduction systems for some relevant logics I: The logic DW
• Normal derivability in modal logic
• From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions
• Logic and structure
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs