{"id":"https://openalex.org/W7214799545","doi":"https://doi.org/10.48550/arxiv.2609.35727","title":"Unifying Conservation as Translation for General Calculi","display_name":"Unifying Conservation as Translation for General Calculi","publication_year":2026,"publication_date":"2026-09-28","ids":{"openalex":"https://openalex.org/W7214799545","doi":"https://doi.org/10.48550/arxiv.2609.35727"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.35727","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.35727","pdf_url":"https://arxiv.org/pdf/2609.35727","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.35727","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013418443","display_name":"Giulio Fellin","orcid":"https://orcid.org/0000-0002-3179-7521","observed_orcids":["https://orcid.org/0000-0002-3179-7521"]},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Fellin, Giulio","raw_affiliation_strings":["300 , San Francisco , CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany","Dipartimento di Informatica , Universit\u00e0 degli Studi di Verona , Strada le Grazie 15 , 37134 , Verona , VR , Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"300 , San Francisco , CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany","institution_ids":[]},{"raw_affiliation_string":"Dipartimento di Informatica , Universit\u00e0 degli Studi di Verona , Strada le Grazie 15 , 37134 , Verona , VR , Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5013418443"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9560999870300293,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9560999870300293,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.026000000536441803,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.012000000104308128,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/conservation-theorems","display_name":"conservation theorems","score":0.828000009059906},{"id":"https://openalex.org/keywords/translation-theorem","display_name":"translation theorem","score":0.9440000057220459},{"id":"https://openalex.org/keywords/logical-calculus","display_name":"logical calculus","score":0.9010000228881836},{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"sequent calculus","score":0.7200000286102295},{"id":"https://openalex.org/keywords/negative-translation","display_name":"negative translation","score":0.7799999713897705},{"id":"https://openalex.org/keywords/consequence-relations","display_name":"consequence relations","score":0.7350000143051147}],"concepts":[{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.859000027179718},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.7009000182151794},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.6985999941825867},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5774000287055969},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4771000146865845},{"id":"https://openalex.org/C2780432614","wikidata":"https://www.wikidata.org/wiki/Q864213","display_name":"Conservative extension","level":2,"score":0.4607999920845032},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.4397999942302704},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37529999017715454},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3450999855995178},{"id":"https://openalex.org/C74992188","wikidata":"https://www.wikidata.org/wiki/Q239179","display_name":"Non-classical logic","level":3,"score":0.34119999408721924},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.3160000145435333},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2867000102996826},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.27300000190734863},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2712000012397766},{"id":"https://openalex.org/C137155000","wikidata":"https://www.wikidata.org/wiki/Q468422","display_name":"Law of excluded middle","level":2,"score":0.26420000195503235}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.35727","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.35727","pdf_url":"https://arxiv.org/pdf/2609.35727","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.35727","doi":"https://doi.org/10.48550/arxiv.2609.35727","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.35727","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.35727","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.35727","pdf_url":"https://arxiv.org/pdf/2609.35727","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320311030","display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\"","ror":"https://ror.org/01vx64p53"},{"id":"https://openalex.org/F4320334045","display_name":"Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni","ror":"https://ror.org/00b9dvn87"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214799545.pdf","grobid_xml":"https://content.openalex.org/works/W7214799545.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W561202933","https://openalex.org/W635853265","https://openalex.org/W1483259227","https://openalex.org/W1528233644","https://openalex.org/W2012254684","https://openalex.org/W2021336747","https://openalex.org/W2041585656","https://openalex.org/W2059644889","https://openalex.org/W2075277371","https://openalex.org/W2077235110","https://openalex.org/W2079999798","https://openalex.org/W2084684966","https://openalex.org/W2085335923","https://openalex.org/W2122458631","https://openalex.org/W2135287414","https://openalex.org/W2257080944","https://openalex.org/W2483883535","https://openalex.org/W2794059648","https://openalex.org/W2911865844","https://openalex.org/W2963599042","https://openalex.org/W4200311876","https://openalex.org/W4200362900","https://openalex.org/W4240214488","https://openalex.org/W4252639676","https://openalex.org/W4311882382","https://openalex.org/W4384573062","https://openalex.org/W4388418318","https://openalex.org/W4403159941","https://openalex.org/W4406963469","https://openalex.org/W7130333003","https://openalex.org/W7169713231","https://openalex.org/W7213436300"],"related_works":["https://openalex.org/W7095996569","https://openalex.org/W7130333003","https://openalex.org/W4311064268","https://openalex.org/W2100514593","https://openalex.org/W4406963469","https://openalex.org/W2031732804","https://openalex.org/W2078574844","https://openalex.org/W4213219894","https://openalex.org/W7099183832","https://openalex.org/W7097949536"],"abstract_inverted_index":{"We":[0],"present":[1],"an":[2],"abstract":[3],"framework":[4,75],"for":[5,35,78],"conservation":[6,100],"and":[7,71,73,102],"translation":[8],"theorems":[9],"between":[10,42],"logical":[11],"calculi.":[12,37],"Unlike":[13],"previous":[14],"approaches,":[15],"our":[16],"setting":[17],"does":[18],"not":[19],"require":[20],"the":[21,53,60,74,83,106],"underlying":[22],"consequence":[23],"relations":[24],"to":[25,52],"satisfy":[26],"structural":[27],"properties":[28],"such":[29],"as":[30],"cut,":[31],"allowing":[32],"in":[33],"particular":[34],"cut-free":[36],"Moreover,":[38],"we":[39],"study":[40],"translations":[41],"arbitrary":[43],"calculi":[44,80],"rather":[45],"than":[46],"only":[47],"from":[48],"a":[49,88,103],"stable":[50],"extension":[51],"original":[54],"calculus.":[55],"Translations":[56],"are":[57],"formulated":[58],"at":[59],"level":[61],"of":[62,66,91,105],"sequents":[63],"by":[64],"pairs":[65],"functions":[67],"acting":[68],"on":[69],"antecedents":[70],"succedents,":[72],"is":[76],"developed":[77],"multi-succedent":[79],"while":[81],"subsuming":[82],"single-succedent":[84],"case.":[85],"This":[86],"yields":[87],"uniform":[89],"treatment":[90],"classical":[92],"results":[93],"including":[94],"negative":[95],"translations,":[96],"minimality":[97],"theorems,":[98],"Orevkov's":[99],"classes,":[101],"characterisation":[104],"least":[107],"logic":[108],"satisfying":[109],"Kuroda's":[110],"double":[111],"negation":[112],"theorem.":[113]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-30T00:00:00"}