Journal of Symbolic Logic 70 (3):713 - 740 (2005)

Authors
Jon Michael Dunn
PhD: University of Pittsburgh; Last affiliation: Indiana University, Bloomington
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,436
Through your library

References found in this work BETA

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.

View all 7 references / Add more references

Citations of this work BETA

Generalized Kripke Frames.Mai Gehrke - 2006 - Studia Logica 84 (2):241-275.
Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.

View all 18 citations / Add more citations

Similar books and articles

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.
Normal Modal Substructural Logics with Strong Negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.
Meeting Strength in Substructural Logics.Yde Venema - 1995 - Studia Logica 54 (1):3 - 32.

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 )

How can I increase my downloads?

Downloads

My notes