The Faithfulness of Fat: A Proof-Theoretic Proof.

Fernando Ferreira Gilda Ferreira

Published in: Stud Logica (2015)

Keyphrases

proof theoretic
linear logic
proof theory
default reasoning
nonmonotonic reasoning
constraint logic programming
fixpoint
expressive power
model theoretic
cut elimination
automated reasoning
deductive databases
database systems
logic programs
fixed point
belief revision