Login / Signup
Proofs as Computations in Linear Logic.
Giorgio Delzanno
Maurizio Martelli
Published in:
APPIA-GULP-PRODE (1996)
Keyphrases
</>
linear logic
cut elimination
sequent calculus
proof search
natural deduction
fixed point
proof theoretic
logic programming
intuitionistic logic
desirable properties
inference rules
logical framework
artificial intelligence
theorem proving
markov random field
expert systems
video sequences