Proof Theoretic Reasoning in System P.

Simon Parsons Rachel A. Bourne

Published in: FLAIRS Conference (1999)

Keyphrases

proof theoretic
proof theory
linear logic
default reasoning
nonmonotonic reasoning
constraint logic programming
model theoretic
fixpoint
automated reasoning
belief revision
artificial intelligence
default logic
cut elimination