1 paper
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…