3 papers
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.GN2026
Filter-induced linear topologies on residuated lattices: Hausdorffness, profiniteness, and finiteness conditions
Jiang Yang, Pengfei He, Juntao Wang
We study linear topologies on residuated lattices generated by systems of filters, with emphasis on the uniform structures and separation properties that they determine. A down-dir…
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…