Automating Theories in Intuitionistic Logic.

Guillaume Burel

Published in: FroCoS (2009)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
database
object oriented
logic programming
cut elimination