Strong normalization property for second order linear logic.

Michele Pagani Lorenzo Tortora de Falco

Published in: Theor. Comput. Sci. (2010)

Keyphrases

linear logic
desirable properties
fixed point
sequent calculus
proof theoretic
logical framework
higher order
logic programming
cut elimination
intuitionistic logic
artificial intelligence
high level
bayesian networks
proof search