The One-Variable Fragment of T→
Date
2013
Authors
Slaney, John K
Walker, Edward
Journal Title
Journal ISSN
Volume Title
Publisher
Kluwer Academic Publishers
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. Meye
Description
Keywords
Citation
Collections
Source
Journal of Philosophical Logic
Type
Journal article
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31