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.
| Original language | English |
|---|---|
| Pages (from-to) | 713-740 |
| Number of pages | 28 |
| Journal | Journal of Symbolic Logic |
| Volume | 70 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 1 Sept 2005 |
| Externally published | Yes |
Funding
* 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. Dunn J. Michael Gehrke Mai † Palmigiano Alessandra ‡ School of Informatics , Indiana University , Bloomington , IN 47408-3912 , USA E-mail: , [email protected] Department of Mathematical Sciences , New Mexico State University , Las Cruces , NM 88003. , USA E-mail: , [email protected] Departament De Logica , Historia I Filosofia De La Ciencia , Universitat De Barcelona , Barcelona. E-08028 , Spain E-mail: , [email protected] † Partially supported by grant NSF01-4-21760 of the USA National Science Foundation. ‡ Partially supported by the Spanish grant MTM2004-03101 and by the grant 2001FI 00281 of the Generalitat de Catalunya. 09 2005 70 3 713 740 22 11 2004 Copyright © Association for Symbolic Logic 2005 2005 Association for Symbolic Logic
Fingerprint
Dive into the research topics of 'Canonical extensions and relational completeness of some substructural logics'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver