Baaz, MatthiasFermüller, Christian G.Zach, Richard2021-06-042021-06-041993-01Baaz, M., Fermüller, C. G., & Zach, R. (1993). Dual systems of sequents and tableaux for many-valued logics.http://hdl.handle.net/1880/113470Bulletin of the EATCS 51 (1993) 192–197The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are always two dual proof systems (not just only two ways to interpret the calculi). This phenomenon may easily escape one's attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and the exclusion of the opposite truth value describe the same situation.engUnless otherwise indicated, this material is protected by copyright and has been made available with authorization from the copyright owner. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.many-valued logicsequent calculustableauxjournal article10.11575/PRISM/38908