Towards an embedding of Graph Transformation in Intuitionistic Linear Logic

Paolo Torrini Reiko Heckel

Published in: ICE (2009)

Keyphrases

linear logic
graph transformation
cut elimination
fixed point
sequent calculus
logical framework
proof theoretic
desirable properties
proof search
logic programming
vector space
intuitionistic logic
query language
natural deduction