Download PDFOpen PDF in browserFast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus11 pages•Published: May 16, 2012AbstractWe present a procedure to decide propositional Dummett logic. Such a procedure relies on a tableau calculus with a multiple premise rule and optimizations. The resulting implementation outperforms the state of the art graph-based procedure.Keyphrases: decision procedures, dummett logic, tableaux In: Renate A. Schmidt, Stephan Schulz and Boris Konev (editors). PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, vol 9, pages 52-62.
|