Back to Search
Start Over
Infinitary logic with infinite sequents: syntactic investigations.
- Source :
-
Mathematical Logic Quarterly . Feb2024, Vol. 70 Issue 1, p79-98. 20p. - Publication Year :
- 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. [ABSTRACT FROM AUTHOR]
- Subjects :
- *LOGIC
*MATHEMATICAL induction
Subjects
Details
- Language :
- English
- ISSN :
- 09425616
- Volume :
- 70
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- Mathematical Logic Quarterly
- Publication Type :
- Academic Journal
- Accession number :
- 177717307
- Full Text :
- https://doi.org/10.1002/malq.202300011