Funder
Horizon 2020 Marie Skłodowska-Curie Actions
Ministry of Education of the People's Republic of China
NWO
Reference67 articles.
1. Untersuchungen über das Eliminationsproblem der mathematischen Logik;Ackermann;Math. Ann.,1935
2. Frame definability in finitely valued modal logics;Badia;Ann. Pure Appl. Log.,2023
3. Fuzzy Galois connections;Bêlohlávek;Math. Log. Q.,1999
4. Heterogeneous algebras;Birkhoff;J. Comb. Theory,1970
5. Correspondence theory in many-valued modal logics;Britz,2016
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Description Logic for Rough Concepts;Lecture Notes in Computer Science;2024