Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus |
| |
| Authors: | Guido Fiorino |
| |
| Affiliation: | Dipartimento di Metodi Quantitativi per le Scienze Economiche ed Aziendali, Università di Milano-Bicocca, Piazza dell’Ateneo Nuovo, 1, 20126 Milano, Italy |
| |
| 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: | Dummett logic Gö del logic Tableau calculi Intermediate logics Automated theorem proving |
| 本文献已被 ScienceDirect 等数据库收录！ |
