%0 Journal Article %A Baaz, Matthias %A Fermüller, Christian G. %A Salzer, Gernot %A Zach, Richard %D 1998 %I Springer Netherlands %J Studia Logica %N 1 %P 7-33 %T Labeled calculi and finite-valued logics %V 61