{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T15:33:01Z","timestamp":1747150381665,"version":"3.40.5"},"reference-count":19,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2023,12,4]],"date-time":"2023-12-04T00:00:00Z","timestamp":1701648000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2024,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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\u00a0research.<\/jats:p>","DOI":"10.1002\/malq.202300011","type":"journal-article","created":{"date-parts":[[2023,12,5]],"date-time":"2023-12-05T03:51:24Z","timestamp":1701748284000},"page":"79-98","update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Infinitary logic with infinite sequents: syntactic investigations"],"prefix":"10.1002","volume":"70","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2810-5835","authenticated-orcid":false,"given":"Matteo","family":"Tesi","sequence":"first","affiliation":[{"name":"Scuola Normale Superiore di Pisa Classe di Lettere e Filosofia, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2023,12,4]]},"reference":[{"key":"e_1_2_9_2_1","doi-asserted-by":"crossref","unstructured":"B.AfshariandG.Leigh Cut\u2010free completeness for modal mu\u2010calculus in:32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)(IEEE 2017).","DOI":"10.1109\/LICS.2017.8005088"},{"key":"e_1_2_9_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_2_9_4_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093883041"},{"key":"e_1_2_9_5_1","doi-asserted-by":"publisher","DOI":"10.4064\/fm-57-3-253-272"},{"key":"e_1_2_9_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29198-7_8"},{"volume-title":"A Short Introduction to Intuitionistic Logic","year":"2000","author":"Mints G.","key":"e_1_2_9_7_1"},{"key":"e_1_2_9_8_1","first-page":"339","article-title":"Neighborhood semantics for basic and intuitionistic logic","volume":"24","author":"Moniri M.","year":"2015","journal-title":"Log. Log. Philos."},{"key":"e_1_2_9_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(78)90015-3"},{"key":"e_1_2_9_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-71258-7_12"},{"key":"e_1_2_9_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020323000138"},{"key":"e_1_2_9_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67149-9"},{"volume-title":"Proof Theory: The First Step into Impredicativity","year":"2009","author":"Pohlers W.","key":"e_1_2_9_13_1"},{"key":"e_1_2_9_14_1","doi-asserted-by":"publisher","DOI":"10.1515\/9781501502620-019"},{"key":"e_1_2_9_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-66473-1"},{"key":"e_1_2_9_16_1","unstructured":"B. G.Sundholm Proof Theory: a Survey of the Omega\u2010Rule PhD thesis(University of Oxford 1983)."},{"volume-title":"Proof Theory","year":"2013","author":"Takeuti G.","key":"e_1_2_9_17_1"},{"key":"e_1_2_9_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-022-09998-x"},{"key":"e_1_2_9_19_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exab040"},{"key":"e_1_2_9_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2023.103285"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.202300011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T15:02:37Z","timestamp":1717686157000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.202300011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,4]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,2]]}},"alternative-id":["10.1002\/malq.202300011"],"URL":"https:\/\/doi.org\/10.1002\/malq.202300011","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"type":"print","value":"0942-5616"},{"type":"electronic","value":"1521-3870"}],"subject":[],"published":{"date-parts":[[2023,12,4]]},"assertion":[{"value":"2023-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-10-17","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-12-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}