Translations Between Gentzen—Prawitz and Jaśkowski—Fitch Natural Deduction Proofs

Translations Between Gentzen—Prawitz and Jaśkowski—Fitch Natural Deduction Proofs

Two common forms of natural deduction proof systems are found in the Gentzen–Prawitz and Jaśkowski-Fitch systems. In this paper, I provide translations between proofs in these systems, pointing out the ways in which the translations highlight the structural rules implicit in the systems. These tran...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Studia logica 2019-12, Vol.107 (6), p.1103-1134
1. Verfasser: Standefer, Shawn
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Two common forms of natural deduction proof systems are found in the Gentzen–Prawitz and Jaśkowski-Fitch systems. In this paper, I provide translations between proofs in these systems, pointing out the ways in which the translations highlight the structural rules implicit in the systems. These translations work for classical, intuitionistic, and minimal logic. I then provide translations for classical S4 proofs.
ISSN:0039-3215
1572-8730