2 citations · 3 across the 9 of their papers we have counts for
1 paper · 2 filters
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…