Proofs as computations in linear logic.

Giorgio Delzanno Maurizio Martelli

Published in: Theor. Comput. Sci. (2001)

Keyphrases

linear logic
cut elimination
sequent calculus
proof search
natural deduction
fixed point
proof theoretic
logic programming
intuitionistic logic
logical framework
desirable properties
inference rules
machine learning
theorem proving
theorem prover
high level
wide class