Login / Signup
The Friedman - Sheard programme in intuitionistic logic.
Graham Emil Leigh
Michael Rathjen
Published in:
J. Symb. Log. (2012)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
natural deduction
normal form
proof theoretic
high level
graphical models
decision procedures