6 citations · 6 across the 1 of their papers we have counts for
1 paper · 1 filter
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…