From the 1 of 2 linked papers with an AI index.
2 papers
math.LO2026
Preservation and definability for the fluted fragment
Yiwen Ding
The paper disproves a claimed extension of the Los‑Tarski preservation theorem to the fluted fragment by presenting a quantifier‑rank‑3 fluted sentence that is preserved under exte…
cs.LO2025
Fuzzy Lattice-based Description Logic
Yiwen Ding, Krishna Manoorkar
Recently, description logic LE-ALC was introduced for reasoning in the semantic environment of enriched formal contexts, and a polynomial-time tableaux algorithm was developed to c…