A categorical duality links algebraic and birelational semantics for constructive modal logic CK, enabling Sahlqvist correspondence, completeness, and Goldblatt-Thomason definability theorems.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Earlier definitions of equivalence relations, Cauchy sequences, and metric spaces were replaced but could usefully be revived according to this historical analysis.
citing papers explorer
-
Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
A categorical duality links algebraic and birelational semantics for constructive modal logic CK, enabling Sahlqvist correspondence, completeness, and Goldblatt-Thomason definability theorems.
-
The history of three wrong definitions
Earlier definitions of equivalence relations, Cauchy sequences, and metric spaces were replaced but could usefully be revived according to this historical analysis.