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 

    Ramesh, Anavi; Murray, Neil V. (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
    Article
    Open Access
    Prime 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 

    Lu, James J.; Calmet, Jacques; Schü, Joachim (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
    Article
    Open Access
    The 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 

    Aguilera Venegas, Gabriel; Pérez de Guzmán Molina, Inmaculada; Ojeda Aciego, Manuel (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
    Article
    Open Access
    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\/} ...

  • Deduction in many-valued logics: a survey 

    Hähnle, Reiner; Escalada Imaz, Gonzalo (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
    Article
    Open Access

  • Editorial [Special issue: Deduction in MVL] 

    Escalada Imaz, Gonzalo; Hähnle, Reiner (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
    Review
    Open Access