Modeling Paraconsistent Reasoning by Classical Logic.

Ofer Arieli Marc 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