Volume 102, Issue 6

December 2014

Special Issue: Gentzen's and Jaśkowski's Heritage 80 Years of Natural Deduction and Sequent Calculi

Issue Editor:

9 articles in this issue

Introduction
Andrzej Indrzejczak
EditorialNotes Open access 28 June 2014 Pages: 1091 - 1094
Jaśkowski’s Universally Free Logic
Ermanno Bencivenga
OriginalPaper 25 June 2014 Pages: 1095 - 1102
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different
Allen P. Hazen
Francis Jeffry Pelletier
OriginalPaper 25 June 2014 Pages: 1103 - 1142
Normal Proofs, Cut Free Derivations and Structural Rules
Greg Restall
OriginalPaper 03 December 2014 Pages: 1143 - 1166
From Axiomatic Logic to Natural Deduction
Jan von Plato
OriginalPaper 25 June 2014 Pages: 1167 - 1184
The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony
Peter Schroeder-Heister
OriginalPaper 25 June 2014 Pages: 1185 - 1216
Cut-Elimination: Syntax and Semantics
M. Baaz
A. Leitsch
OriginalPaper 25 June 2014 Pages: 1217 - 1244
Hypersequent and Display Calculi – a Unified Perspective
Agata Ciabattoni
Revantha Ramanayake
Heinrich Wansing
OriginalPaper 04 July 2014 Pages: 1245 - 1294
A Survey of Nonstandard Sequent Calculi
Andrzej Indrzejczak
OriginalPaper Open access 03 July 2014 Pages: 1295 - 1322

Search