Login / Signup

Modeling Paraconsistent Reasoning by Classical Logic.

Ofer ArieliMarc Denecker
Published in: FoIKS (2002)
Keyphrases
  • classical logic
  • logic programming
  • modal logic
  • autoepistemic logic
  • intuitionistic logic
  • high level
  • model checking
  • commonsense reasoning
  • automated theorem proving
  • valued logic
  • revision operators