Realization of Intuitionistic Logic by Proof Polynomials.

Sergei N. Artëmov

Published in: J. Appl. Non Class. Logics (1999)

Keyphrases

intuitionistic logic
linear logic
natural deduction
proof theoretic
cut elimination
theorem prover
sequent calculus
proof theory
inference rules
proof search
fixed point
classical logic
logical framework
theorem proving
desirable properties
logic programming
default reasoning
natural language