Sign in
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