Completeness and conservative extension results for some Boolean relevant logics
Studia Logica 48 (1):1 - 14 (1989)
| Abstract | This paper presents completeness and conservative extension results for the boolean extensions of the relevant logic T of Ticket Entailment, and for the contractionless relevant logics TW and RW. Some surprising results are shown for adding the sentential constant t to these boolean relevant logics; specifically, the boolean extensions with t are conservative of the boolean extensions without t, but not of the original logics with t. The special treatment required for the semantic normality of T is also shown along the way. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRobert Goldblatt & Michael Kane (2010). An Admissible Semantics for Propositionally Quantified Relevant Logics. Journal of Philosophical Logic 39 (1).
I. L. Humberstone (1990). Expressive Power and Semantic Completeness: Boolean Connectives in Modal Logic. Studia Logica 49 (2):197 - 214.
Joanna Golińska-Pilarek & Taneli Huuskonen (2005). Number of Extensions of Non-Fregean Logics. Journal of Philosophical Logic 34 (2):193 - 206.
Frank Wolter (1997). Completeness and Decidability of Tense Logics Closely Related to Logics Above K. Journal of Symbolic Logic 62 (1):131-158.
Michiro Kondo (1989). A1 is Not a Conservative Extension of S4 but of S. Journal of Philosophical Logic 18 (3):321 - 323.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
Edwin D. Mares (2000). Ce is Not a Conservative Extension of E. Journal of Philosophical Logic 29 (3):263-275.
Miklós Ferenczi (2009). On Conservative Extensions in Logics with Infinitary Predicates. Studia Logica 92 (1):121 - 135.
Robert K. Meyer, Steve Giambrone & Ross T. Brady (1984). Where Gamma Fails. Studia Logica 43 (3):247 - 256.
Greg Restall (1993). Simplified Semantics for Relevant Logics (and Some of Their Rivals). Journal of Philosophical Logic 22 (5):481 - 511.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,587 of 549,546 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
