Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus.
['Guido Fiorino']
Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus.