2 citations · 3 across the 9 of their papers we have counts for
1 paper · 1 filter
Damiano Fornasiere, Tommaso Moraschini
Sahlqvist theory is extended to the fragments of the intuitionistic propositional calculus that include the conjunction connective. This allows us to introduce a Sahlqvist theory o…