Cut for Core Logic.

Published in: Rev. Symb. Log. (2012)

Keyphrases

logic programming
modal logic
defeasible logic
classical logic
formal theory
proof theory
social networks
website
knowledge representation
inference rules
multi valued
logical framework
predicate logic
abductive reasoning
asynchronous circuits
sound and complete axiomatization