16 citations · 36 across the 6 of their papers we have counts for
1 paper · 1 filter
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
We show that the intuitionistic propositional logic with a Galois connection (IntGC), introduced by the authors, has the finite model property.