Cerca
Ara es mostren els items 1-1 de 1
A reduction-based theorem prover for 3-valued logic
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
Article.
Accés obert
Article.
Accés obert
We present a new prover for propositional 3-valued logics, TAS-M3, which is an
extension of the TAS-D prover for classical propositional logic. TAS-M3 uses the
TAS methodology and, consequently, it is a {\em reduction-based\/} ...