Multi-focused cut elimination.

Taus Brock-Nannestad Nicolas Guenot

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

Keyphrases

cut elimination
sequent calculus
linear logic
inference rules
natural deduction
wide class
general purpose
graphical models
logic programming