Showing math.CTShow all
3 papers · 1 filter
math.CT2023
Ultraposet, Distributive Lattice, and Coherent Locale
Lingyuan Ye
In this paper, we provide an alternative description of the duality result for distributive lattices and coherent locales using ultraposet. In particular, we show that there are fu…
math.CT2022
Unification of Modal Logic via Topological Categories
Lingyuan Ye
In this paper we provide a unifying description of different types of semantics of modal logic found in the literature via the framework of topological categories. In the style of…
math.CT2021
Syntax and Consequence Relations -- A Categorical Perspective
Lingyuan Ye
In this paper, we use a categorical and functorial set up to model the syntax and inference of logics with algebraic signature, extending previous works on algebraisation of logics…