TY  - RPRT
TI  - Intuitionistic logic with a Galois connection has the finite model property
AU  - Wojciech Dzik
AU  - Jouni Järvinen
AU  - Michiro Kondo
PY  - 2011
DO  - 10.1093/jigpal/jzs016
UR  - https://arxiv.org/abs/1102.0268
ID  - 1102.0268
ER  -