Login / Signup
Extensions of Intuitionistic Logic without the Deduction Theorem: Some Simple Examples.
Lloyd Humberstone
Published in:
Reports Math. Log. (2006)
Keyphrases
</>
intuitionistic logic
simple examples
classical logic
linear logic
natural deduction
normal form
proof theoretic
default logic
modal logic
theorem prover