Specifying Proof Systems in Linear Logic with Subexponentials.

Vivek Nigam Elaine Pimentel Giselle Reis

Published in: LSFA (2010)

Keyphrases

linear logic
fixed point
logic programming
proof search
cut elimination
proof theoretic
sequent calculus
machine learning
decision making
bayesian networks
natural language
probabilistic model