Dual systems of sequents and tableaux for many-valued logics

Matthias Baaz, Christian G. Fermüller, Richard Zach. Dual systems of sequents and tableaux for many-valued logics. Bulletin of the EATCS, 49:192-197, 1993.

Abstract

Abstract is missing.