A proof-theoretic investigation of a logic of positions.

Stefano Baratella Andrea Masini

Published in: Ann. Pure Appl. Log. (2003)

Keyphrases

proof theoretic
proof theory
linear logic
nonmonotonic reasoning
default reasoning
model theoretic
fixpoint
constraint logic programming
deductive databases
cut elimination
logic programs
automated reasoning
default logic
logic programming
operational semantics
theorem proving
belief revision