Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.

Takeshi Yamazaki

Published in: Notre Dame J. Formal Log. (2001)

Keyphrases

intuitionistic logic
linear logic
cut elimination
classical logic
sequent calculus
natural deduction
proof search
proof theoretic
normal form
sufficient conditions
deductive databases
wide class