7 citations · 12 across the 7 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…