{"id":"https://openalex.org/W7212154136","doi":"https://doi.org/10.48550/arxiv.2609.09529","title":"Frobenius Galois expansions of substructural logics:Algebraization, Kalman equivalence and positive cone semantics","display_name":"Frobenius Galois expansions of substructural logics:Algebraization, Kalman equivalence and positive cone semantics","publication_year":2026,"publication_date":"2026-09-08","ids":{"openalex":"https://openalex.org/W7212154136","doi":"https://doi.org/10.48550/arxiv.2609.09529"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.09529","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.09529","pdf_url":"https://arxiv.org/pdf/2609.09529","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.09529","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5124388222","display_name":"Juntao Wang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I181903023","display_name":"Xi'an Shiyou University","ror":"https://ror.org/040c7js64","country_code":"CN","type":"education","lineage":["https://openalex.org/I181903023"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wang, Juntao","raw_affiliation_strings":["School of Science , Xi'an Petroleum University , Xi'an 710065 , Shaanxi , P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Science , Xi'an Petroleum University , Xi'an 710065 , Shaanxi , P.R. China","institution_ids":["https://openalex.org/I181903023"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5151144267","display_name":"jieqiong Shi","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I51622183","display_name":"Shaanxi University of Science and Technology","ror":"https://ror.org/034t3zs45","country_code":"CN","type":"education","lineage":["https://openalex.org/I51622183"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shi, jieqiong","raw_affiliation_strings":["School of Mathematics and Data Science , Shaanxi University of Science and Technology , Xi'an 710021 , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics and Data Science , Shaanxi University of Science and Technology , Xi'an 710021 , China","institution_ids":["https://openalex.org/I51622183"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5151254688","display_name":"Mei Wang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Mei","raw_affiliation_strings":["School of Science , Xi Hang University , Xi'an 710077 , Shaanxi , P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Science , Xi Hang University , Xi'an 710077 , Shaanxi , P.R. China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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":1.0,"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":1.0,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.0,"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/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/substructural-logics","display_name":"substructural logics","score":0.9300000071525574},{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"algebraic semantics","score":0.7789999842643738},{"id":"https://openalex.org/keywords/categorical-equivalence","display_name":"categorical equivalence","score":0.6740000247955322},{"id":"https://openalex.org/keywords/finite-model-property","display_name":"finite model property","score":0.781000018119812},{"id":"https://openalex.org/keywords/residual-finiteness","display_name":"residual finiteness","score":0.7429999709129333},{"id":"https://openalex.org/keywords/conservativity","display_name":"conservativity","score":0.5830000042915344},{"id":"https://openalex.org/keywords/consequence-relations","display_name":"consequence relations","score":0.6110000014305115}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8346999883651733},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.6521999835968018},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.6207000017166138},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5608999729156494},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5052000284194946},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.49000000953674316},{"id":"https://openalex.org/C2777573902","wikidata":"https://www.wikidata.org/wiki/Q1491747","display_name":"Galois connection","level":2,"score":0.4571000039577484},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.439300000667572},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43470001220703125},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4171999990940094},{"id":"https://openalex.org/C138390121","wikidata":"https://www.wikidata.org/wiki/Q5283219","display_name":"Distributivity","level":3,"score":0.41019999980926514},{"id":"https://openalex.org/C96442724","wikidata":"https://www.wikidata.org/wiki/Q242188","display_name":"Invertible matrix","level":2,"score":0.37470000982284546},{"id":"https://openalex.org/C9973445","wikidata":"https://www.wikidata.org/wiki/Q8349849","display_name":"Congruence relation","level":2,"score":0.36320000886917114},{"id":"https://openalex.org/C2777183706","wikidata":"https://www.wikidata.org/wiki/Q630771","display_name":"Subvariety","level":3,"score":0.36239999532699585},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.3391999900341034},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.3131999969482422},{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.31150001287460327},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.3109999895095825},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.2962000072002411},{"id":"https://openalex.org/C144760519","wikidata":"https://www.wikidata.org/wiki/Q839490","display_name":"Substructural logic","level":4,"score":0.29120001196861267},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.28850001096725464},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.2809000015258789},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.2711000144481659},{"id":"https://openalex.org/C192606457","wikidata":"https://www.wikidata.org/wiki/Q2363730","display_name":"Distributive lattice","level":3,"score":0.2651999890804291},{"id":"https://openalex.org/C206470798","wikidata":"https://www.wikidata.org/wiki/Q2634506","display_name":"Kleene algebra","level":2,"score":0.26109999418258667},{"id":"https://openalex.org/C2781278839","wikidata":"https://www.wikidata.org/wiki/Q9462417","display_name":"Residuated lattice","level":3,"score":0.2572000026702881},{"id":"https://openalex.org/C2779467367","wikidata":"https://www.wikidata.org/wiki/Q863912","display_name":"Prime ideal","level":3,"score":0.2524000108242035}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.09529","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.09529","pdf_url":"https://arxiv.org/pdf/2609.09529","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.09529","doi":"https://doi.org/10.48550/arxiv.2609.09529","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.09529","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.09529","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.09529","pdf_url":"https://arxiv.org/pdf/2609.09529","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":[{"id":"https://openalex.org/G3409268105","display_name":null,"funder_award_id":"2025JC-YBMS-034","funder_id":"https://openalex.org/F4320336567","funder_display_name":"Natural Science Basic Research Program of Shaanxi Province"},{"id":"https://openalex.org/G4762032763","display_name":null,"funder_award_id":"24XJC72040001","funder_id":"https://openalex.org/F4320336573","funder_display_name":"Humanities and Social Sciences Youth Foundation, Ministry of Education of the People's Republic of China"},{"id":"https://openalex.org/G5048044503","display_name":null,"funder_award_id":"24XJC72040001","funder_id":"https://openalex.org/F4320321106","funder_display_name":"Ministry of Education of the People's Republic of China"},{"id":"https://openalex.org/G6210029273","display_name":null,"funder_award_id":"2025JC-YBQN-092","funder_id":"https://openalex.org/F4320336567","funder_display_name":"Natural Science Basic Research Program of Shaanxi Province"},{"id":"https://openalex.org/G7034206219","display_name":null,"funder_award_id":"23JP132","funder_id":"https://openalex.org/F4320325627","funder_display_name":"Education Department of Shaanxi Province"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321106","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934"},{"id":"https://openalex.org/F4320325627","display_name":"Education Department of Shaanxi Province","ror":"https://ror.org/00jb7xy46"},{"id":"https://openalex.org/F4320336567","display_name":"Natural Science Basic Research Program of Shaanxi Province","ror":null},{"id":"https://openalex.org/F4320336573","display_name":"Humanities and Social Sciences Youth Foundation, Ministry of Education of the People's Republic of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7212154136.pdf","grobid_xml":"https://content.openalex.org/works/W7212154136.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1595640337","https://openalex.org/W2027211978","https://openalex.org/W7166361128","https://openalex.org/W2394505873","https://openalex.org/W1851199326","https://openalex.org/W7098522043","https://openalex.org/W2201092569","https://openalex.org/W7097605774","https://openalex.org/W6891719696","https://openalex.org/W7123351052"],"abstract_inverted_index":{"The":[0,24],"main":[1],"aim":[2],"of":[3,12,36,59,72,90,138,148,208],"this":[4,184],"paper":[5],"is":[6,30,54],"to":[7,87,105],"introduce":[8],"a":[9,34,40,114,135,145,198],"Frobenius--Galois":[10,206],"expansion":[11],"the":[13,57,70,77,97,102,106,129,139,149,154,171,176],"substructural":[14,209],"logic":[15],"$\\mathbf{FL}_{ew}$":[16,80],"and":[17,21,43,61,63,81,122,168,180,188,192,202],"develop":[18],"its":[19,65,83],"algebraic":[20,67,108],"categorical":[22,115,150],"semantics.":[23],"resulting":[25],"logic,":[26],"denoted":[27],"by":[28,32],"$\\mathbf{FL}^{\\mathbf{FGC}}_{ew}$,":[29],"obtained":[31],"adjoining":[33],"pair":[35],"unary":[37],"connectives":[38],"forming":[39],"Galois":[41],"connection":[42],"satisfying":[44],"suitable":[45],"Frobenius-type":[46],"compatibility":[47],"conditions.":[48],"Firstly,":[49],"we":[50,100,112,158],"prove":[51,159],"that":[52,160,183],"$\\mathbf{FL}^{\\mathbf{FGC}}_{ew}$":[53],"algebraizable":[55],"in":[56,143],"sense":[58],"Blok":[60],"Pigozzi":[62],"identify":[64],"equivalent":[66],"semantics":[68],"with":[69,128],"variety":[71],"Frobenius-adjoint":[73,107,118,123,164],"residuated":[74,119,125,165],"lattices,":[75,167],"establishing":[76],"conservativity":[78],"over":[79,163,170],"relating":[82],"finite":[84,193],"model":[85],"property":[86],"residual":[88],"finiteness":[89],"finitely":[91],"generated":[92],"free":[93],"algebras.":[94],"Secondly,":[95],"for":[96,153,205],"distributive":[98,120,126,155,166],"setting,":[99],"lift":[101],"Kalman":[103],"construction":[104],"framework.":[109],"More":[110],"precisely,":[111],"establish":[113],"equivalence":[116,133],"between":[117],"lattices":[121,127],"$c$-differential":[124],"condition":[130],"$\\mathbf{CK}$.":[131],"This":[132],"yields":[134],"positive-cone":[136],"representation":[137],"former":[140],"structures":[141],"and,":[142],"turn,":[144],"logical":[146,203],"counterpart":[147],"correspondence.":[151],"Finally,":[152],"extension":[156],"$\\mathbf{FL}^{\\mathbf{FGC},d}_{ew}$,":[157],"derivability,":[161],"validity":[162,169],"corresponding":[172],"positive":[173],"cones":[174],"determine":[175],"same":[177],"consequence":[178],"relation,":[179],"further":[181],"show":[182],"correspondence":[185],"preserves":[186],"equational":[187],"quasi-equational":[189],"consequence,":[190],"conservativity,":[191],"countermodels.":[194],"These":[195],"results":[196],"provide":[197],"unified":[199],"algebraic,":[200],"categorical,":[201],"framework":[204],"expansions":[207],"logics.":[210]},"counts_by_year":[],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2026-09-11T00:00:00"}