Resumen de The one-variable fragment of T

John Slaney, Edward Walker

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