Taming Implications in Dummett Logic
Guido Fiorino · BOA (University of Milano-Bicocca) · 2009
This paper discusses a new strategy to decide Dummett logic.The strategy relies on a tableau calculus whose distinguishing features are the rules for implicative formulas.The strategy has been implemented and the experimental results are reported.