3 papers
math.LO2026
Possibly Relevant Translations
Søren Brinck Knudstorp
We develop translations from relevant logics into normal modal logics, and use them to clarify structural connections between relevant and modal logic, obtain a few corollary resul…
math.LO2026
Uniform Local Tabularity in Intuitionistic Logic
Rodrigo Nicolau Almeida
By contrast with S4, the analysis of local tabularity above IPC has provided a difficult challenge. This paper studies a strengthening of local tabularity - uniform local tabularit…
cs.CL2026
MedPath: Multi-Domain Cross-Vocabulary Hierarchical Paths for Biomedical Entity Linking
Nishant Mishra, Wilker Aziz, Iacer Calixto
Progress in biomedical Named Entity Recognition (NER) and Entity Linking (EL) is currently hindered by a fragmented data landscape, a lack of resources for building explainable mod…