Login / Signup

Standard completeness of Hájek basic logic and decompositions of BL-chains.

Roberto CignoliAntoni Torrens
Published in: Soft Comput. (2005)
Keyphrases
  • multi valued
  • neural network
  • artificial intelligence
  • logic programs
  • real time
  • logic programming
  • singular value decomposition
  • automated reasoning
  • classical logic
  • defeasible logic