Showing math.LOShow all
2 papers · 1 filter
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…