Subexponentials in non-commutative linear logic.

Max I. Kanovich Stepan L. Kuznetsov Vivek Nigam Andre Scedrov

Published in: Math. Struct. Comput. Sci. (2019)

Keyphrases

linear logic
proof theoretic
fixed point
logic programming
desirable properties
logical framework
sequent calculus
intuitionistic logic
cut elimination
special case
proof search
natural deduction
general purpose
deductive databases
inference rules