29 citations · 84 across the 12 of their papers we have counts for
1 paper · 2 filters
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…