Article ID Journal Published Year Pages File Type
395713 Information Sciences 2010 14 Pages PDF
Abstract

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.

Keywords
Related Topics
Physical Sciences and Engineering Computer Science Artificial Intelligence
Preview
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
Authors
,