Canonical extensions and relational completeness of some substructural logics
Dunn, J. Michael ; Gehrke, Mai ; Palmigiano, Alessandra
J. Symbolic Logic, Tome 70 (2005) no. 1, p. 713-740 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2005-09-14
Classification:  
@article{1122038911,
     author = {Dunn, J. Michael and Gehrke, Mai and Palmigiano, Alessandra},
     title = {Canonical extensions and relational completeness of some substructural logics},
     journal = {J. Symbolic Logic},
     volume = {70},
     number = {1},
     year = {2005},
     pages = { 713-740},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1122038911}
}

Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra. Canonical extensions and relational completeness of some substructural logics. J. Symbolic Logic, Tome 70 (2005) no. 1, pp.  713-740. http://gdmltest.u-ga.fr/item/1122038911/