Intuitionistic logic with a Galois connection has the finite model property

arxiv: 1102.0268 · v1 · pith:ZJDUBWGHnew · submitted 2011-02-01 · 🧮 math.LO

Wojciech Dzik , Jouni J\"arvinen , Michiro Kondo This is my paper

classification 🧮 math.LO

keywords connectionfinitegaloisintuitionisticlogicmodelpropertyauthors

0 comments

read the original abstract

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

This paper has not been read by Pith yet.