The present paper deals with a purely syntactic analysis of infinitary logic with infinite sequents. In particular, we discuss sequent calculi for classical and intuitionistic infinitary logic with good structural properties based on sequents possibly containing infinitely many formulas. A cut admissibility proof is proposed which employs a new strategy and a new inductive parameter. We conclude the paper by discussing related issues and possible themes for future research.
Infinitary logic with infinite sequents: syntactic investigations
Tesi, Matteo
2024
Abstract
The present paper deals with a purely syntactic analysis of infinitary logic with infinite sequents. In particular, we discuss sequent calculi for classical and intuitionistic infinitary logic with good structural properties based on sequents possibly containing infinitely many formulas. A cut admissibility proof is proposed which employs a new strategy and a new inductive parameter. We conclude the paper by discussing related issues and possible themes for future research.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Mathematical Logic Qtrly - 2023 - Tesi - Infinitary logic with infinite sequents syntactic investigations.pdf
Accesso chiuso
Tipologia:
Published version
Licenza:
Non pubblico
Dimensione
576.59 kB
Formato
Adobe PDF
|
576.59 kB | Adobe PDF | Richiedi una copia |
Tesi_Infinitary logic with infinite sequents syntactic investigations_postprint.pdf
Open Access dal 01/03/2025
Tipologia:
Accepted version (post-print)
Licenza:
Solo Lettura
Dimensione
1.11 MB
Formato
Adobe PDF
|
1.11 MB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.