Symmetric normalisation for intuitionistic logic.

Nicolas Guenot Lutz Straßburger

Published in: CSL-LICS (2014)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
normal form
expert systems
relational databases
object oriented
cut elimination