Intuitionistic logic with a Galois connection has the finite model property

Abstract

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

arXiv comment6 pages

Cited by in corpus (2)

• Representing distributive lattices with Galois connections in terms of rough sets
• Characterizing intermediate tense logics in terms of Galois connections