TY - JOUR
T1 - Canonical extensions and relational completeness of some substructural logics
AU - Dunn, J. Michael
AU - Gehrke, Mai
AU - Palmigiano, Alessandra
PY - 2005/9/1
Y1 - 2005/9/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=24644482479&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=24644482479&partnerID=8YFLogxK
U2 - 10.2178/jsl/1122038911
DO - 10.2178/jsl/1122038911
M3 - Review article
AN - SCOPUS:24644482479
SN - 0022-4812
VL - 70
SP - 713
EP - 740
JO - Journal of Symbolic Logic
JF - Journal of Symbolic Logic
IS - 3
ER -