1 citations · 1 across the 8 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
An Inductive Construction for Many-Valued Coalgebraic Modal Logic
Chun-Yu Lin, Churn-Jung Liau
In this paper, we present an abstract framework of many-valued modal logic with the interpretation of atomic propositions and modal operators as predicate lifting over coalgebras f…
cs.AI2022
A Note on Categories about Rough Sets
Y. R. Syau, E. B. Lin, C. J. Liau
Using the concepts of category and functor, we provide some insights and prove an intrinsic property of the category of approximation spaces and relation-preserving fu…