Proof-theoretic Semantics for Classical Mathematics.

William W. Tait

Published in: Synth. (2006)

Keyphrases

proof theoretic
proof theory
model theoretic
default reasoning
linear logic
nonmonotonic reasoning
constraint logic programming
fixpoint
deductive databases
description logics
operational semantics
logic programs
object oriented
belief revision
automated reasoning