Intuitionistic logic with a Galois connection has the finite model property

Wojciech Dzik, Jouni Järvinen, Michiro Kondo

We show that the intuitionistic propositional logic with a Galois connection (IntGC), introduced by the authors, has the finite model property.