Additives of linear logic and normalization - Part I: a (restricted) Church-Rosser property.

Lorenzo Tortora de Falco

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

Keyphrases

linear logic
desirable properties
logic programming
sequent calculus
proof theoretic
fixed point
intuitionistic logic
logical framework
proof search
cut elimination
artificial intelligence
multi agent
natural deduction