MUltlog 1.0: Towards an Expert System for Many-Valued Logics.

Matthias Baaz, Christian G. Fermller, Gernot Salzer, Richard Zach

Browse the full CADE paper archive.