The One-Variable Fragment of T→

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

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

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.

Analytics

Added to PP
2013-07-04

Downloads
34 (#407,230)

6 months
2 (#668,348)

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

References found in this work

Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.
Entailment: The Logic of Relevance and Necessity, Vol. 1.A. Anderson & N. Belnap (eds.) - 1975 - Princeton, NJ, USA: Princeton University Press.
The pure calculus of entailment.Alan Ross Anderson & Nuel D. Belnap - 1962 - Journal of Symbolic Logic 27 (1):19-52.
Algebraic analysis of entailment I.Robert K. Meyer & Richard Routley - 1972 - Logique Et Analyse 15 (59/60):407-428.

View all 9 references / Add more references