The One-Variable Fragment of T→

Journal of Philosophical Logic 43 (5):867-878 (2014)

Abstract

We show that there are infinitely many pairwise non-equivalent formulae in one propositional variable p in the pure implication fragment of the logic T of “ticket entailment” proposed by Anderson and Belnap. This answers a question posed by R. K. Meyer

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,805

External links

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

Through your library

Analytics

Added to PP
2013-07-04

Downloads
32 (#361,273)

6 months
1 (#386,499)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Philosophy of Logical Practice.Ben Martin - 2022 - Metaphilosophy 53 (2-3):267-283.

Add more citations

Similar books and articles

Types of I -Free Hereditary Right Maximal Terms.Katalin Bimbó - 2005 - Journal of Philosophical Logic 34 (5/6):607 - 620.
New Consecution Calculi for R→T.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.
Failure of Interpolation in Relevant Logics.Alasdair Urquhart - 1993 - Journal of Philosophical Logic 22 (5):449 - 479.
Complexity of the Two-Variable Fragment with Counting Quantifiers.Ian Pratt-Hartmann - 2005 - Journal of Logic, Language and Information 14 (3):369-395.
Neighborhoods for Entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
Fragments of Language.Ian Pratt-Hartmann - 2004 - Journal of Logic, Language and Information 13 (2):207-223.
Necessity and Ticket Entailment.R. Zane Parks & John R. Chidgey - 1972 - Notre Dame Journal of Formal Logic 13 (2):224-226.
Relevant Predication: Grammatical Characterisations. [REVIEW]Philip Kremer - 1989 - Journal of Philosophical Logic 18 (4):349 - 382.
Relevant Implication and the Case for a Weaker Logic.Ross T. Brady - 1996 - Journal of Philosophical Logic 25 (2):151 - 183.