DocumentCode
1838598
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
fYear
1993
fDate
24-27 May 1993
Firstpage
208
Lastpage
213
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1993., Proceedings of The Twenty-Third International Symposium on
Conference_Location
Sacramento, CA
Print_ISBN
0-8186-3350-6
Type
conf
DOI
10.1109/ISMVL.1993.289558
Filename
289558
Link To Document