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
verdicts
UNVERDICTED 2representative citing papers
Establishes Priestley-style duality between fuzzy topological spaces and positive MV-algebras, extending prior dualities for lattices and MV-algebras.
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.
-
An extension of Priestley duality to fuzzy topologies and positive MV-algebras
Establishes Priestley-style duality between fuzzy topological spaces and positive MV-algebras, extending prior dualities for lattices and MV-algebras.