R+ is contained in T

&
Bulletin of the Section of Logic 9 (1):30-32 (1980)
  Copy   BIBTEX

Abstract

Although the system T of ticket entailment is obviously related to its cousins E and R , it is motivated along quite distinctive lines in Anderson and Belnap [1975]. It would seem, accordingly, that T is more nearly akin to the system P W studied in Martin [1978] than to E and R. The result presented here, however, at least suggests the contrary

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.
Thephilosophyofautomatedtheoremproving.Francis Jeffry Pelletier - unknown
⊃E is Admissible in “true” relevant arithmetic.Robert K. Meyer - 1998 - Journal of Philosophical Logic 27 (4):327 - 351.
⊃E is Admissible in “true” relevant arithmetic.Robert K. Meyer - 1998 - Journal of Philosophical Logic 27 (4):327-351.
Espacio, Saber y Poder.Michel Foucault - 1984 - In The Foucault Reader. Vintage.
“Strenge” arithmetics.Robert K. Meyer & Greg Restall - unknown
Announcements.[author unknown] - 1973 - Review of Metaphysics 27 (2):446-447.
Announcements.[author unknown] - 1973 - Review of Metaphysics 27 (2):446-447.
A system of moral philosophy.Francis Hutcheson - 1755 - New York,: A.M. Kelley.
Routley-Meyer Semantics for E-R, Ee-R, Eec-R.Eun-Suk Yang - 2003 - Korean Journal of Logic 6 (1):19-32.

Analytics

Added to PP
2014-02-19

Downloads
3 (#1,729,579)

6 months
22 (#129,165)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references