An Abstract Approach to Stratification in Linear Logic

Pierre Boudes Damiano Mazza Lorenzo Tortora de Falco

Published in: CoRR (2012)

Keyphrases

linear logic
fixed point
sequent calculus
proof theoretic
cut elimination
logic programming
logical framework
intuitionistic logic
proof search
high level
artificial intelligence
knowledge base
higher order
inference rules