@misc{indiciaeb25f4da3a0f8,
  title = {Intuitionistic logic with a Galois connection has the finite model property},
  author = {Wojciech Dzik and Jouni Järvinen and Michiro Kondo},
  year = {2011},
  doi = {10.1093/jigpal/jzs016},
  url = {https://arxiv.org/abs/1102.0268},
  note = {Source identifier: 1102.0268}
}