19 citations · 34 across the 3 of their papers we have counts for
3 papers
math.LO2019★ 19 cited
Uniform Interpolation and Compact Congruences
S. J. v. Gool, G. Metcalfe, C. Tsinakis
Uniform interpolation properties are defined for equational consequence in a variety of algebras and related to properties of compact congruences on first the free and then the fin…
math.RA2019★ 9 cited
Sheaves and Duality
M. Gehrke, S. J. v. Gool
It has long been known in universal algebra that any distributive sublattice of congruences of an algebra which consists entirely of commuting congruences yields a sheaf representa…
math.LO2014★ 6 cited
Duality and universal models for the meet-implication fragment of IPC
Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool +1
In this paper we investigate the fragment of intuitionistic logic which only uses conjunction (meet) and implication, using finite duality for distributive lattices and universal m…