Journal of Symbolic Logic 70 (3):713 - 740 (2005)
| Authors |
|
| 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
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2178/jsl/1122038911 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,436
External links
- From the Publisher via CrossRef (no proxy)
- citeseerx.ist.psu.edu
(no proxy) - projecteuclid.org (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary M. Hardegree - 2005 - Studia Logica 79 (2):305-306.
A Sahlqvist Theorem for Distributive Modal Logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1-3):65-102.
Constructive Canonicity in Non-Classical Logics.Silvio Ghilardi & Giancarlo Meloni - 1997 - Annals of Pure and Applied Logic 86 (1):1-32.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
A Kripke Semantics for the Logic of Gelfand Quantales.Gerard Allwein & Wendy MacCaull - 2001 - Studia Logica 68 (2):173-228.
View all 7 references / Add more references
Citations of this work BETA
Algorithmic Correspondence and Canonicity for Non-Distributive Logics.Willem Conradie & Alessandra Palmigiano - 2019 - Annals of Pure and Applied Logic 170 (9):923-974.
Algorithmic Correspondence and Canonicity for Distributive Modal Logic.Willem Conradie & Alessandra Palmigiano - 2012 - Annals of Pure and Applied Logic 163 (3):338-376.
Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.
Canonicity Results of Substructural and Lattice-Based Logics.Tomoyuki Suzuki - 2011 - Review of Symbolic Logic 4 (1):1-42.
View all 18 citations / Add more citations
Similar books and articles
A Canonical Topological Model for Extensions of K4.Christopher Steinsvold - 2010 - Studia Logica 94 (3):433 - 441.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Completeness and Decidability of Tense Logics Closely Related to Logics Above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Normal Modal Substructural Logics with Strong Negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
Closure Operators and Complete Embeddings of Residuated Lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427 - 440.
Completeness and Conservative Extension Results for Some Boolean Relevant Logics.Steve Giambrone & Robert K. Meyer - 1989 - Studia Logica 48 (1):1 - 14.
On the Completeness of the Lambek Calculus with Respect to Relativized Relational Semantics.Nikolai Pankrat'ev - 1994 - Journal of Logic, Language and Information 3 (3):233-246.
Grafting Modalities Onto Substructural Implication Systems.Marcello D'agostino, Dov M. Gabbay & Alessandra Russo - 1997 - Studia Logica 59 (1):65-102.
Analytics
Added to PP index
2010-08-24
Total views
77 ( #151,976 of 2,520,355 )
Recent downloads (6 months)
3 ( #205,232 of 2,520,355 )
2010-08-24
Total views
77 ( #151,976 of 2,520,355 )
Recent downloads (6 months)
3 ( #205,232 of 2,520,355 )
How can I increase my downloads?
Downloads
