Infinitary cut-elimination via finite approximations.

Matteo Acclavio Gianluca Curzi Giulio Guerrieri

Published in: CoRR (2023)

Keyphrases

cut elimination
sequent calculus
linear logic
wide class
natural deduction
inference rules
proof theoretic
sufficient conditions
modal logic
linear time temporal logic
sequent calculi
logic programs
desirable properties