2 citations · 3 across the 9 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2024
Trees and spectra of Heyting algebras
Damiano Fornasiere, Tommaso Moraschini
A poset is Esakia representable when it is isomorphic to the prime spectrum of a Heyting algebra. Notably, every Esakia representable poset is also the spectrum of a commutative ri…
math.LO2022★ 2 cited
Intuitionistic Sahlqvist theory for deductive systems
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…