Introduction: Proof-theoretic Semantics.

Reinhard Kahle Peter Schroeder-Heister

Published in: Synth. (2006)

Keyphrases

proof theoretic
model theoretic
proof theory
default reasoning
nonmonotonic reasoning
linear logic
fixpoint
constraint logic programming
deductive databases
operational semantics
logic programs
description logics
decision procedures
cut elimination
logic programming
relational databases
theorem proving