A Fresh View of Linear Logic as a Logical Framework.

Carlos Olarte Elaine Pimentel Bruno Xavier

Published in: LSFA (2020)

Keyphrases

linear logic
logical framework
inference rules
belief revision
reasoning tasks
sequent calculus
proof theoretic
intuitionistic logic
cut elimination
logic programming
artificial intelligence
fixed point
argumentation frameworks