Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)

Published in: CoRR (2012)

Keyphrases

formal theory
belief update
commonsense reasoning
spatial reasoning
logic programs
logic programming
natural deduction
theorem proving
artificial intelligence
co occurrence
mathematical models
predicate logic
cut elimination