Login / Signup

On Strong Maximality of Paraconsistent Finite-Valued Logics.

Arnon AvronOfer ArieliAnna Zamansky
Published in: LICS (2010)
Keyphrases
  • valued logic
  • propositional logic
  • classical logic
  • fuzzy logic
  • fuzzy sets
  • truth values
  • logic programs
  • first order logic
  • multi valued
  • datalog programs
  • automated reasoning
  • neural network
  • database