Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract).

Lawrence Dunn Jamie Vicary

Published in: LINEARITY (2016)

Keyphrases

extended abstract
linear logic
cut elimination
sequent calculus
proof search
natural deduction
proof theoretic
three dimensional
wide class
d objects
fixed point
logic programming
desirable properties
theorem prover
logical framework
intuitionistic logic
inference rules
knowledge base
artificial intelligence