Towards CERes in intuitionistic logic.

Alexander Leitsch Giselle Reis Bruno Woltzenlogel Paleo

Published in: CSL (2012)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
normal form
proof theoretic
database design
bayesian networks
expert systems
relational databases