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.LO2023
On profiniteness and Hausdorffness of topological residuated lattices
Jiang Yang, Pengfei He, Juntao Wang
The aim of this paper is to study the profiniteness of compact topological residuated lattices and the existence of Hausdorff topological residuated lattices. Firstly, we study pro…