No CrossRef data available.
Published online by Cambridge University Press: 12 March 2014
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.
The authors wish to thank an anonymous referee and M. Dunn's student, Chunlai Zhou, for their careful reading of the manuscript and for their suggestions and corrections.