Frobenius Galois expansions of substructural logics:Algebraization, Kalman equivalence and positive cone semantics

Juntao Wang, jieqiong Shi, Mei Wang

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 resu…