A classical-logic view of a paraconsistent logic.

Cornelis A. Middelburg

Published in: CoRR (2020)

Keyphrases

classical logic
logic programming
modal logic
commonsense reasoning
default logic
valued logic
revision operators
possibilistic logic
intuitionistic logic
computer science and artificial intelligence
autoepistemic logic
general purpose
logic programs
model checking
rationality postulates