Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.

Published in: J. Log. Comput. (2016)

Keyphrases

sufficient conditions
proof theoretic
cut elimination
model theoretic
proof theory
default reasoning
linear logic
fixpoint
nonmonotonic reasoning
constraint logic programming
deductive databases
description logics
logic programs
operational semantics
decision procedures
multi agent