Investigations into a left-structural right-substructural sequent calculus.

Lloyd Humberstone

Published in: J. Log. Lang. Inf. (2007)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
linear time temporal logic
natural deduction
propositional calculus
artificial intelligence
software engineering
proof search
machine learning
high dimensional
probability distribution
fixed point