We present a procedure to decide prepositional 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. © 2010 Elsevier Inc. All rights reserved.
Fiorino, G. (2010). Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus. INFORMATION SCIENCES, 180(19), 3633-3646 [10.1016/j.ins.2010.06.004].
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
FIORINO, GUIDO GIUSEPPE
2010
Abstract
We present a procedure to decide prepositional 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. © 2010 Elsevier Inc. All rights reserved.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
