{"id":"https://openalex.org/W2759348261","doi":"https://doi.org/10.23638/lmcs-15(1:9)2019","title":"A sequent calculus for a semi-associative law","display_name":"A sequent calculus for a semi-associative law","publication_year":2019,"publication_date":"2019-02-05","ids":{"openalex":"https://openalex.org/W2759348261","doi":"https://doi.org/10.23638/lmcs-15(1:9)2019","mag":"2759348261"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-15(1:9)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(1:9)2019","pdf_url":"https://lmcs.episciences.org/5167/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/5167/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008964203","display_name":"Noam Zeilberger","orcid":"https://orcid.org/0000-0002-5945-4184"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Noam Zeilberger","raw_affiliation_strings":["University of Birmingham [Birmingham]","Automatisation et Repr\u00e9senTation: fOndation du calcUl et de la d\u00e9ducTion"],"affiliations":[{"raw_affiliation_string":"University of Birmingham [Birmingham]","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"Automatisation et Repr\u00e9senTation: fOndation du calcUl et de la d\u00e9ducTion","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5008964203"],"corresponding_institution_ids":["https://openalex.org/I79619799"],"apc_list":null,"apc_paid":null,"fwci":0.5081,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53114021,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"Volume 15, Issue 1","issue":"1","first_page":"1","last_page":"23"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9973999857902527,"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.9922000169754028,"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/sequent-calculus","display_name":"Sequent calculus","score":0.7936676740646362},{"id":"https://openalex.org/keywords/associative-property","display_name":"Associative property","score":0.6676495671272278},{"id":"https://openalex.org/keywords/sequent","display_name":"Sequent","score":0.6396087408065796},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6220287084579468},{"id":"https://openalex.org/keywords/cut-elimination-theorem","display_name":"Cut-elimination theorem","score":0.5456375479698181},{"id":"https://openalex.org/keywords/coherence","display_name":"Coherence (philosophical gambling strategy)","score":0.4115983545780182},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4078298807144165},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4068435728549957},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.36153799295425415},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.095807284116745}],"concepts":[{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.7936676740646362},{"id":"https://openalex.org/C159423971","wikidata":"https://www.wikidata.org/wiki/Q177251","display_name":"Associative property","level":2,"score":0.6676495671272278},{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.6396087408065796},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6220287084579468},{"id":"https://openalex.org/C111404639","wikidata":"https://www.wikidata.org/wiki/Q376166","display_name":"Cut-elimination theorem","level":4,"score":0.5456375479698181},{"id":"https://openalex.org/C2781181686","wikidata":"https://www.wikidata.org/wiki/Q4226068","display_name":"Coherence (philosophical gambling strategy)","level":2,"score":0.4115983545780182},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4078298807144165},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4068435728549957},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.36153799295425415},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.095807284116745},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.23638/lmcs-15(1:9)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(1:9)2019","pdf_url":"https://lmcs.episciences.org/5167/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1803.10080","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1803.10080","pdf_url":"https://arxiv.org/pdf/1803.10080","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"pmh:oai:pure.atira.dk:Publications/e4e8162c-c665-474b-b89a-93026bb46c85","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"doi:10.48550/arxiv.1803.10080","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1803.10080","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:2963851316","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1803.10080.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"raw_source_name":"arXiv (Cornell University)","raw_type":null}],"best_oa_location":{"id":"doi:10.23638/lmcs-15(1:9)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(1:9)2019","pdf_url":"https://lmcs.episciences.org/5167/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.8100000023841858,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2759348261.pdf"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W136934826","https://openalex.org/W178318277","https://openalex.org/W584360633","https://openalex.org/W1207816824","https://openalex.org/W1508490157","https://openalex.org/W1546574044","https://openalex.org/W1585244820","https://openalex.org/W1592678536","https://openalex.org/W1971351183","https://openalex.org/W1972757708","https://openalex.org/W1995036450","https://openalex.org/W1996008071","https://openalex.org/W2002967907","https://openalex.org/W2022470848","https://openalex.org/W2023605482","https://openalex.org/W2039613092","https://openalex.org/W2040781091","https://openalex.org/W2046449629","https://openalex.org/W2049452854","https://openalex.org/W2070324762","https://openalex.org/W2126209209","https://openalex.org/W2160728467","https://openalex.org/W2172042336","https://openalex.org/W2237955572","https://openalex.org/W2278483746","https://openalex.org/W2328580899","https://openalex.org/W2329050608","https://openalex.org/W2528979886","https://openalex.org/W2549866415","https://openalex.org/W2579396210","https://openalex.org/W2742744744","https://openalex.org/W2749543005","https://openalex.org/W2751763200","https://openalex.org/W3090629222","https://openalex.org/W3135320517","https://openalex.org/W3149383919"],"related_works":["https://openalex.org/W2584381231","https://openalex.org/W1562648369","https://openalex.org/W4289719533","https://openalex.org/W4253113110","https://openalex.org/W2562634993","https://openalex.org/W3112266304","https://openalex.org/W3090765541","https://openalex.org/W4295728898","https://openalex.org/W1147619178","https://openalex.org/W1566344352"],"abstract_inverted_index":{"We":[0,38,69],"introduce":[1],"a":[2,6,32,40,119],"sequent":[3,45],"calculus":[4,46],"with":[5,133],"simple":[7],"restriction":[8],"of":[9,49,75,84,97,104,118],"Lambek's":[10],"product":[11],"rules":[12],"that":[13],"precisely":[14],"captures":[15],"the":[16,21,53,61,76,85,89,98,102,107],"classical":[17],"Tamari":[18,62,90,108],"order,":[19,91],"i.e.,":[20],"partial":[22],"order":[23,63],"on":[24],"fully-bracketed":[25],"words":[26],"(equivalently,":[27,35],"binary":[28],"trees)":[29],"induced":[30],"by":[31],"semi-associative":[33],"law":[34],"right":[36],"rotation).":[37],"establish":[39],"focusing":[41],"property":[42,87],"for":[43,88,101],"this":[44],"(a":[47],"strengthening":[48],"cut-elimination),":[50],"which":[51],"yields":[52],"following":[54],"coherence":[55,77],"theorem:":[56],"every":[57],"valid":[58],"entailment":[59],"in":[60,106],"has":[64],"exactly":[65],"one":[66],"focused":[67],"derivation.":[68],"then":[70],"describe":[71],"two":[72],"main":[73],"applications":[74],"theorem,":[78],"including:":[79],"1.":[80],"A":[81,94],"new":[82,95],"proof":[83,96],"lattice":[86,109],"and":[92],"2.":[93],"Tutte-Chapoton":[99],"formula":[100],"number":[103],"intervals":[105],"$Y_n$.":[110],"Comment:":[111],"This":[112],"article":[113],"is":[114],"an":[115],"extended":[116],"version":[117],"paper":[120],"presented":[121],"at":[122],"FSCD":[123],"2017.":[124],"[v2:":[125],"minor":[126],"rev]":[127],"arXiv":[128],"admin":[129],"note:":[130],"text":[131],"overlap":[132],"arXiv:1701.02917":[134]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}