Non decomposable connectives of linear logic.

Published in: Ann. Pure Appl. Log. (2019)

Keyphrases

linear logic
sequent calculus
cut elimination
inference rules
fixed point
proof theoretic
proof search
logic programming
logical framework
desirable properties
intuitionistic logic
modal logic
classical logic
natural language
natural deduction