A Multi-Strategy Tableau Prover

A Multi-Strategy Tableau Prover

Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics

Versandkostenfrei!
Versandfertig in 6-10 Tagen
42,99 €
inkl. MwSt.
PAYBACK Punkte
21 °P sammeln!
In this book we present the design and implementation of KEMS, a multi-strategy theorem prover based on the KE tableau inference system. A multi-strategy theorem prover is a theorem prover where we can vary the strategy without modifying the core of the implementation. Besides being multi-strategy, KEMS is capable of proving theorems in three logical systems: classical propositional logic, mbC and mCi. Some of the contributions of this work are (i) an analytic, correct and complete KE system for mbC; (ii) a correct and complete KE system for mCi; (iii) a multi-strategy prover with the followin...