1997, Vol. IV, Núm. 2
Part B: Special issue on Deduction in many-valued logic.
Summary
-
Parameterized prime implicant/implicate computations for regular logics
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
Article
Open AccessPrime implicant/implicate generating algorithms for multiple-valued logics (MVL's) are introduced. Techniques from classical logic not requiring large normal forms or truth tables are adapted to certain "regular'' ... -
Computing multiple-valued logic programs
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
Article
Open AccessThe logic of signed formula can be used to reason about a wide variety of multiple-valued logics \cite{hah94,lmr96}. The formal theoretical foundation of multiple-valued logic programming based on signed formulas is set ... -
A reduction-based theorem prover for 3-valued logic
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
Article
Open AccessWe 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\/} ... -
Deduction in many-valued logics: a survey
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
Article
Open Access -
Editorial [Special issue: Deduction in MVL]
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
Review
Open Access