Intuitionistic logic with two Galois connections combined with Fischer Servi axioms

Wojciech Dzik, Jouni Järvinen, Michiro Kondo

Earlier, the authors introduced the logic IntGC, which is an extension of intuitionistic propositional logic by two rules of inference mimicking the performance of Galois connectio…