Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus.

Guido Fiorino

Browse the full CADE paper archive.