Infinitary Cut-Elimination via Finite Approximations.

Matteo Acclavio Gianluca Curzi Giulio Guerrieri

Published in: CSL (2024)

Keyphrases

cut elimination
sequent calculus
linear logic
wide class
natural deduction
inference rules
linear time temporal logic
proof theoretic
sufficient conditions
modal logic
intuitionistic logic
expert systems
general purpose
desirable properties