Topological Observations on Multiplicative Additive Linear Logic

André Hirschowitz Michel Hirschowitz Tom Hirschowitz

Published in: CoRR (2008)

Keyphrases

linear logic
fixed point
proof theoretic
desirable properties
logic programming
cut elimination
sequent calculus
proof search
intuitionistic logic
software engineering
logical framework
multi view