On Proof Normalization in Linear Logic.

Didier Galmiche Guy Perrier

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

Keyphrases

linear logic
fixed point
sequent calculus
proof search
proof theoretic
cut elimination
intuitionistic logic
logic programming
desirable properties
logical framework
natural language
logic programs
stereo matching
inference rules