带伽罗瓦连接的直觉主义逻辑具有有限模型性质
逻辑
2014-03-26 v1
摘要
我们证明了由作者引入的带伽罗瓦连接(IntGC)的直觉主义命题逻辑具有有限模型性质。
引用
@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}
}
备注
6 pages