The One-Variable Fragment of T→

John Slaney; Edward Walker

doi:10.1007/s10992-013-9293-3

The One-Variable Fragment of T_→

John Slaney^*, Edward Walker

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

3 Citations (Scopus)

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.

Original language	English
Pages (from-to)	867-878
Number of pages	12
Journal	Journal of Philosophical Logic
Volume	43
Issue number	5
DOIs	https://doi.org/10.1007/s10992-013-9293-3
Publication status	Published - 4 Nov 2014

Access to Document

10.1007/s10992-013-9293-3

Cite this

@article{2202b6ea49604d9b8a6578c02c64091d,

title = "The One-Variable Fragment of T→ ",

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.",

keywords = "Relevant logic, Ticket entailment",

author = "John Slaney and Edward Walker",

note = "Publisher Copyright: {\textcopyright} 2013, Springer Science+Business Media Dordrecht.",

year = "2014",

month = nov,

day = "4",

doi = "10.1007/s10992-013-9293-3",

language = "English",

volume = "43",

pages = "867--878",

journal = "Journal of Philosophical Logic",

issn = "0022-3611",

publisher = "Springer Netherlands",

number = "5",

}

TY - JOUR

T1 - The One-Variable Fragment of T→

AU - Slaney, John

AU - Walker, Edward

PY - 2014/11/4

Y1 - 2014/11/4

N2 - 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.

AB - 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.

KW - Relevant logic

KW - Ticket entailment

UR - http://www.scopus.com/inward/record.url?scp=84912046415&partnerID=8YFLogxK

U2 - 10.1007/s10992-013-9293-3

DO - 10.1007/s10992-013-9293-3

M3 - Article

SN - 0022-3611

VL - 43

SP - 867

EP - 878

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

IS - 5

ER -

The One-Variable Fragment of T_→

Abstract

Access to Document

Other files and links

Fingerprint

Cite this