scientific article; zbMATH DE number 3285196
From MaRDI portal
Publication:5567835
zbMath0178.31104MaRDI QIDQ5567835
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Dialogues and Proofs; Yankov’s Contribution to Proof Theory ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ Prawitz, Proofs, and Meaning ⋮ Normality, non-contamination and logical depth in classical natural deduction
This page was built for publication: