An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics.

Nicolas Zabel

Browse the full JELIA paper archive.