Proof Theory of Paraconsistent Weak Kleene Logic.

Francesco Paoli Michele Pra Baldi

Published in: Stud Logica (2020)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
logic programming
reasoning problems
propositional logic
regular expressions
machine learning
deductive databases
default logic
reasoning tasks
classical logic
inconsistent knowledge
logical equivalence