Now showing items 1-1 of 1

  • 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)
    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'' ...