6 citations · 6 across the 2 of their papers we have counts for
2 papers
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…
math.CT2012
Generalising canonical extension to the categorical setting
Dion Coumans
Canonical extension has proven to be a powerful tool in algebraic study of propositional logics. In this paper we describe a generalization of the theory of canonical extension to…