Multiple conclusion linear logic: cut elimination and more.

Harley Eades III Valeria de Paiva

Published in: J. Log. Comput. (2020)

Keyphrases

linear logic
cut elimination
sequent calculus
proof theoretic
fixed point
logic programming
desirable properties
inference rules
logical framework
proof search
intuitionistic logic
sufficient conditions
modal logic
wide class
bayesian networks
natural deduction