A Proof-theoretic Treatment of Assignments.

Wilfried Meyer-Viol

Published in: Log. J. IGPL (1995)

Keyphrases

proof theoretic
linear logic
default reasoning
proof theory
nonmonotonic reasoning
fixpoint
model theoretic
constraint logic programming
cut elimination
database
artificial intelligence
query language
logic programs
logic programming
automated reasoning
constraint solving