Gdel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication.

Jim de Groot, Tadeusz Litak, Dirk Pattinson

Browse the full LICS paper archive.