Canonical extensions and relational completeness of some substructural logics
Jon Michael Dunn, Mai Gehrke, Alessandra Palmigiano · Journal of Symbolic Logic · 2005
Abstract In this paper we introduce canonical extensions of partially ordered sets and monotone maps and a corresponding discrete duality. We then use these to give a uniform treatment of completeness of relational semantics for various substructural logics with implication as the residual(s) of fusion.