
Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus
Author(s) -
Guido Fiorino
Publication year - 2018
Publication title -
epic series in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 2398-7340
DOI - 10.29007/mbbq
Subject(s) - premise , propositional calculus , propositional variable , computer science , zeroth order logic , calculus (dental) , propositional formula , well formed formula , theoretical computer science , intermediate logic , algorithm , description logic , programming language , multimodal logic , epistemology , philosophy , medicine , dentistry
We 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.