A proof-theoretic account of classical principles of truth.

Graham E. Leigh

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

Keyphrases

proof theoretic
proof theory
default reasoning
nonmonotonic reasoning
constraint logic programming
model theoretic
linear logic
artificial intelligence
np hard
np complete
decision procedures