Systematic Construction of Natural Deduction Systems for Many-valued Logics: Extended Report
Matthias Baaz, Christian G. Fermüller, Richard Zach · Libraries and Cultural Resources (University of Calgary) · 1993
We exhibit a construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics. These systems are systematically obtained from sequent calculi, which in turn can be extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness and normal form theorems for the natural deduction systems.