Login / Signup

Proof theory and mathematical meaning of paraconsistent C-systems.

Paolo Gentilini
Published in: J. Appl. Log. (2011)
Keyphrases
  • proof theory
  • expert systems
  • learning algorithm
  • natural language
  • np hard