{"id":"https://openalex.org/W4389322413","doi":"https://doi.org/10.1002/malq.202300011","title":"Infinitary logic with infinite sequents: syntactic investigations","display_name":"Infinitary logic with infinite sequents: syntactic investigations","publication_year":2023,"publication_date":"2023-12-04","ids":{"openalex":"https://openalex.org/W4389322413","doi":"https://doi.org/10.1002/malq.202300011"},"language":"en","primary_location":{"id":"doi:10.1002/malq.202300011","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.202300011","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/11384/150104","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059726063","display_name":"Matteo Tesi","orcid":"https://orcid.org/0000-0003-2810-5835"},"institutions":[{"id":"https://openalex.org/I157210198","display_name":"Scuola Normale Superiore","ror":"https://ror.org/03aydme10","country_code":"IT","type":"education","lineage":["https://openalex.org/I157210198"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Matteo Tesi","raw_affiliation_strings":["Scuola Normale Superiore di Pisa Classe di Lettere e Filosofia, Italy","Scuola Normale Superiore di Pisa, Classe di Lettere e Filosofia, Italy"],"raw_orcid":"https://orcid.org/0000-0003-2810-5835","affiliations":[{"raw_affiliation_string":"Scuola Normale Superiore di Pisa Classe di Lettere e Filosofia, Italy","institution_ids":["https://openalex.org/I157210198"]},{"raw_affiliation_string":"Scuola Normale Superiore di Pisa, Classe di Lettere e Filosofia, Italy","institution_ids":["https://openalex.org/I157210198"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5059726063"],"corresponding_institution_ids":["https://openalex.org/I157210198"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1643572,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"70","issue":"1","first_page":"79","last_page":"98"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/sequent","display_name":"Sequent","score":0.9189010858535767},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6106271743774414},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.44822177290916443},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4325471818447113},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3663758635520935},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.29370296001434326}],"concepts":[{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.9189010858535767},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6106271743774414},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.44822177290916443},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4325471818447113},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3663758635520935},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.29370296001434326},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/malq.202300011","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.202300011","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},{"id":"pmh:oai:ricerca.sns.it:11384/150104","is_oa":true,"landing_page_url":"https://hdl.handle.net/11384/150104","pdf_url":null,"source":{"id":"https://openalex.org/S7407050981","display_name":"Scuola Normale Superiore di Pisa","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:ricerca.sns.it:11384/150104","is_oa":true,"landing_page_url":"https://hdl.handle.net/11384/150104","pdf_url":null,"source":{"id":"https://openalex.org/S7407050981","display_name":"Scuola Normale Superiore di Pisa","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W144641616","https://openalex.org/W786158582","https://openalex.org/W1981403427","https://openalex.org/W2001667007","https://openalex.org/W2100959423","https://openalex.org/W2294984609","https://openalex.org/W2461171513","https://openalex.org/W2768154882","https://openalex.org/W2911865844","https://openalex.org/W2996703651","https://openalex.org/W3182948686","https://openalex.org/W4232563889","https://openalex.org/W4236364473","https://openalex.org/W4281696559","https://openalex.org/W4290981363","https://openalex.org/W4375948039","https://openalex.org/W4379467978"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2280276996","https://openalex.org/W4251646492","https://openalex.org/W4283322129","https://openalex.org/W122808420","https://openalex.org/W2914653848","https://openalex.org/W4292767243","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2231337787"],"abstract_inverted_index":{"Abstract":[0],"The":[1],"present":[2],"paper":[3,59],"deals":[4],"with":[5,13,28],"a":[6,48,52],"purely":[7],"syntactic":[8],"analysis":[9],"of":[10],"infinitary":[11,26],"logic":[12,27],"infinite":[14],"sequents.":[15],"In":[16],"particular,":[17],"we":[18],"discuss":[19],"sequent":[20],"calculi":[21],"for":[22,67],"classical":[23],"and":[24,51,64],"intuitionistic":[25],"good":[29],"structural":[30],"properties":[31],"based":[32],"on":[33],"sequents":[34],"possibly":[35],"containing":[36],"infinitely":[37],"many":[38],"formulas.":[39],"A":[40],"cut":[41],"admissibility":[42],"proof":[43],"is":[44],"proposed":[45],"which":[46],"employs":[47],"new":[49,53],"strategy":[50],"inductive":[54],"parameter.":[55],"We":[56],"conclude":[57],"the":[58],"by":[60],"discussing":[61],"related":[62],"issues":[63],"possible":[65],"themes":[66],"future":[68],"research.":[69]},"counts_by_year":[],"updated_date":"2026-07-07T14:30:12.667765","created_date":"2025-10-10T00:00:00"}