University of Calgary
UofC Navigation

Systematic construction of natural deduction systems for many-valued logics

This website has moved!

You are looking at an archived page. The website has moved to


23rd International Symposium on Multiple Valued Logic. Sacramento. Proceedings (IEEE Press, Los Alamitos, 1993) 208–213
(with Matthias Baaz and Christian G. Fermüller)


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.


The MUltlog system will automatically construct many-sided calculi from given truth tables.

Download preprint

Download PDF

Extended version appeared as technical report TUW-E185.2-BFZ.1-93:

Download PDF