7 citations · 12 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 2 cited
A Coalgebraic Approach to Dualities for Neighborhood Frames
Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
We develop a uniform coalgebraic approach to Jónsson-Tarski and Thomason type dualities for various classes of neighborhood frames and neighborhood algebras. In the first part of t…
math.LO2021
Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
Jim de Groot, Tadeusz Litak, Dirk Pattinson
Heyting-Lewis Logic is the extension of intuitionistic propositional logic with a strict implication connective that satisfies the constructive counterparts of axioms for strict im…