Deep inference and expansion trees for second-order multiplicative linear logic.

Lutz Straßburger

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

Keyphrases

linear logic
decision trees
higher order
fixed point
proof theoretic
logic programming
sequent calculus
proof search
intuitionistic logic
desirable properties
logical framework
cut elimination
artificial intelligence
bayesian networks
general purpose