Intuitionistic logic with a Galois connection has the finite model property
Logic
2014-03-26 v1
Abstract
We show that the intuitionistic propositional logic with a Galois connection (IntGC), introduced by the authors, has the finite model property.
Cite
@article{arxiv.1102.0268,
title = {Intuitionistic logic with a Galois connection has the finite model property},
author = {Wojciech Dzik and Jouni Järvinen and Michiro Kondo},
journal= {arXiv preprint arXiv:1102.0268},
year = {2014}
}
Comments
6 pages