Modular Linear Logic.

Dmitry A. Archangelsky Mikhail A. Taitslin

Published in: LFCS (1992)

Keyphrases

linear logic
fixed point
sequent calculus
proof search
logical framework
cut elimination
intuitionistic logic
logic programming
desirable properties
proof theoretic
inference rules
general purpose
database
machine learning
natural language
computational complexity