The ILTP Problem Library for Intuitionistic Logic.

Thomas Raths Jens Otten Christoph Kreitz

Published in: J. Autom. Reason. (2007)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
probability distribution
normal form
expert systems
general purpose
graphical models
theorem prover
default reasoning
logical framework