activity
20112023
most citedRepresenting distributive lattices with Galois connections in terms of rough sets

16 citations · 38 across the 5 of their papers we have counts for

collaborators
Showing 2011 · math.LOShow all

1 paper · 2 filters

math.LO2011★ 5 cited

Intuitionistic logic with a Galois connection has the finite model property

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.