arXiv Analytics

Sign in

arXiv:1102.0268 [math.LO]AbstractReferencesReviewsResources

Intuitionistic logic with a Galois connection has the finite model property

Wojciech Dzik, Jouni Järvinen, Michiro Kondo

Published 2011-02-01Version 1

We show that the intuitionistic propositional logic with a Galois connection (IntGC), introduced by the authors, has the finite model property.

Comments: 6 pages
Journal: Logic Journal of the IGPL 21 (2013) 199-204
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1312.2575 [math.LO] (Published 2013-12-09, updated 2015-04-13)
A Galois connection between classical and intuitionistic logics. I: Syntax
arXiv:1504.03379 [math.LO] (Published 2015-04-13)
A Galois connection between classical and intuitionistic logics. II: Semantics
arXiv:1810.09744 [math.LO] (Published 2018-10-23)
A Lindström theorem for intuitionistic propositional logic

Links

Toolbox