An Indexed System for Multiplicative Additive Polarized Linear Logic.

Masahiro Hamano Ryo Takemura

Published in: CSL (2008)

Keyphrases

linear logic
fixed point
desirable properties
sequent calculus
cut elimination
proof theoretic
logical framework
logic programming
intuitionistic logic
natural language
logic programs
proof search
computational complexity
higher order
inference rules
natural deduction