Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Relational Semantics for Flat Heyting-Lewis Logic
Jim de Groot, Tadeusz Litak
We introduce relational semantics for "flat Heyting-Lewis logic" HLC-flat. This logic arises as the extension of intuitionistic logic with a Lewis-style strict implication modality…
math.LO2026
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…