Assumption Classes in Natural Deduction
From MaRDI portal
Publication:4194954
DOI10.1002/malq.19790250102zbMath0408.03043OpenAlexW2054162580MaRDI QIDQ4194954
Publication date: 1979
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19790250102
Related Items (7)
Normalization theorems for full first order classical natural deduction ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ Structural Rules in Natural Deduction with Alternatives ⋮ Core Type Theory ⋮ On the expressive power of schemes ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ Extraction and verification of programs by analysis of formal proofs
This page was built for publication: Assumption Classes in Natural Deduction
