Bounded Linear Logic, Revisited

Ugo Dal Lago Martin Hofmann

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

linear logic
fixed point
proof theoretic
logical framework
logic programming
sequent calculus
desirable properties
proof search
cut elimination
artificial intelligence
intuitionistic logic
database
high level
general purpose
answer set programming