Non-commutative intuitionistic linear logic.

V. Michele Abrusci

Published in: Math. Log. Q. (1990)

Keyphrases

linear logic
fixed point
cut elimination
logic programming
sequent calculus
proof theoretic
intuitionistic logic
logical framework
proof search
expert systems
knowledge representation
logic programs
sufficient conditions
natural deduction