Title :
Systematic construction of natural deduction systems for many-valued logics
Author :
Baaz, Matthias ; Fermüller, Christian G. ; Zach, Richard
Author_Institution :
Tech. Univ. Wien, Austria
Abstract :
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 natural deduction systems
Keywords :
inference mechanisms; many-valued logics; construction principle; cut-free completeness; many-valued logics; natural deduction systems; normal-form theorems; sequent calculi; soundness; truth tables; Abstract algebra; Multivalued logic; Virtual manufacturing;
Conference_Titel :
Multiple-Valued Logic, 1993., Proceedings of The Twenty-Third International Symposium on
Conference_Location :
Sacramento, CA
Print_ISBN :
0-8186-3350-6
DOI :
10.1109/ISMVL.1993.289558
