Intuitionistic logic with a Galois connection has the finite model property - Wojciech Dzik; Jouni Järvinen; Michiro Kondo (2011)