Intuitionistic logic with a Galois connection has the finite model   property
  We show that the intuitionistic propositional logic with a Galois connection (IntGC), introduced by the authors, has the finite model property. 
Wojciech Dzik, Jouni J\"arvinen and Michiro Kondo
math.LO