{"id":"arxiv/2609.09529","url":"https://arxiv.org/abs/2609.09529","tags":["math.LO"],"score":0,"title":"Frobenius Galois expansions of substructural logics:Algebraization, Kalman equivalence and positive cone semantics","domain":"math.LO","source":"arxiv","authors":["Juntao Wang","jieqiong Shi","Mei Wang"],"reviews":0,"subject":"math.LO","summary":"The main aim of this paper is to introduce a Frobenius--Galois expansion of the substructural logic $\\mathbf{FL}_{ew}$ and develop its algebraic and categorical semantics. The resulting logic, denoted by $\\mathbf{FL}^{\\mathbf{FGC}}_{ew}$, is obtained by adjoining a pair of unary connectives forming a Galois connection and satisfying suitable Frobenius-type compatibility conditions. Firstly, we prove that $\\mathbf{FL}^{\\mathbf{FGC}}_{ew}$ is algebraizable in the sense of Blok and Pigozzi and identify its equivalent algebraic semantics with the variety of Frobenius-adjoint residuated lattices,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-08","reactions":{}}