Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
395713 | Information Sciences | 2010 | 14 Pages |
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
Authors
Guido Fiorino,