Proof-Theoretic Aspects of the Lambek-Grishin Calculus.

Philippe de Groote

Published in: WoLLIC (2015)

Keyphrases

proof theoretic
linear logic
constraint logic programming
fixpoint
model theoretic
nonmonotonic reasoning
cut elimination
default reasoning
proof theory
sequent calculus
logic programs
deductive databases