On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics.

Ruy J. G. B. de Queiroz

Published in: Stud Logica (2008)

Keyphrases

proof theoretic
model theoretic
proof theory
default reasoning
linear logic
nonmonotonic reasoning
constraint logic programming
fixpoint
cut elimination
description logics
deductive databases
operational semantics
logic programming
probabilistic reasoning