A proof-theoretic semantics for contextual domain restriction.

Published in: J. Lang. Model. (2014)

Keyphrases

proof theoretic
model theoretic
proof theory
default reasoning
nonmonotonic reasoning
linear logic
contextual information
fixpoint
constraint logic programming
belief revision
operational semantics
logic programs
logic programming
automated reasoning
cut elimination