Proof nets sequentialisation in multiplicative linear logic.

Paolo Di Giamberardino Claudia Faggian

Published in: Ann. Pure Appl. Log. (2008)

Keyphrases

linear logic
proof search
fixed point
proof theoretic
sequent calculus
desirable properties
logical framework
logic programming
cut elimination
artificial intelligence
inference rules
search space
intuitionistic logic
knowledge base
theorem prover