The basic intuitionistic logic of proofs.

Sergei N. Artëmov Rosalie Iemhoff

Published in: J. Symb. Log. (2007)

Keyphrases

intuitionistic logic
natural deduction
cut elimination
theorem prover
linear logic
inference rules
sequent calculus
theorem proving
classical logic
proof search
proof theoretic
wide class
database
automated reasoning
first order logic
sufficient conditions
probabilistic model