Showing math.LOShow all
2 papers · 1 filter
math.LO2026
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 and develop its algebraic and categorical semantics. The resu…
math.LO2026
A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
Juntao Wang, Mei Wang, William Zuluaga Botero
The category , whose objects are c-differential residuated distributive lattices that satisfy the condition , is the image of the category $\mathbb{RDL…