On the Proof-theoretic Foundation of General Definition Theory.

Published in: Synth. (2006)

Keyphrases

proof theoretic
model theoretic
proof theory
special case
default reasoning
nonmonotonic reasoning
linear logic
knowledge base
constraint logic programming
logic programs
operational semantics