Multiple Conclusion Linear Logic: Cut Elimination and More.

Harley Eades III Valeria de Paiva

Published in: LFCS (2016)

Keyphrases

linear logic
cut elimination
sequent calculus
fixed point
proof theoretic
proof search
logical framework
inference rules
desirable properties
logic programming
wide class
intuitionistic logic
artificial intelligence
object oriented
conditional probabilities
probabilistic model
pairwise
high level