Mechanizing Focused Linear Logic in Coq.

Bruno Xavier Carlos Olarte Giselle Reis Vivek Nigam

Published in: LSFA (2017)

Keyphrases

linear logic
fixed point
desirable properties
logical framework
sequent calculus
proof theoretic
logic programming
cut elimination
intuitionistic logic
inference rules
theorem prover
formal methods
proof search