Sciweavers

Share
ISMVL
1993
IEEE

Systematic Construction of Natural Deduction Systems for Many-Valued Logics

8 years 8 months ago
Systematic Construction of Natural Deduction Systems for Many-Valued Logics
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically 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.
Matthias Baaz, Christian G. Fermüller, Richar
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1993
Where ISMVL
Authors Matthias Baaz, Christian G. Fermüller, Richard Zach
Comments (0)
books