MULTILOG: A System for Axiomatizing Many-valued Logics.

Matthias Baaz, Christian G. Fermller, Arie Ovrutcki, Richard Zach

Browse the full LPAR paper archive.