This proof demonstrates algebraic completeness in intuitionistic conditional logics, highlighting connections to conditional Kripke frames and Esakia spaces.
We prove completeness results for a wide variety of intuitionistic conditional logics. We do so by first using a duality to transfer algebraic completeness to completeness with respect to conditional Esakia spaces, a topologised version of a conditional Kripke frame. We then use so-called fill-ins to obtain completeness results with respect to classes conditional of Kripke frames. The fill-ins close the gap between conditional Esakia spaces, which do not have a canonical underlying frame, and conditional Kripke frames.
No takes yet. Share an insight, caveat, or question.
Dufty et al. (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: