Intuitionistic Hypothetical Logic of Proofs.

Gabriela Steren Eduardo Bonelli

Published in: Electron. Notes Theor. Comput. Sci. (2014)

Keyphrases

cut elimination
natural deduction
linear logic
sequent calculus
theorem prover
wide class
inference rules
proof search
classical logic
theorem proving
sufficient conditions
logical framework
modal logic
logic programming
computer algebra
automated theorem proving
fixed point
formal proof
automated reasoning