The one-variable fragment of T

• Autores: John Slaney, Edward Walker
• Localización: Journal of Philosophical Logic, ISSN-e 1573-0433, Vol. 43, Nº. 5, 2014, págs. 867-876
• Idioma: alemán
• Texto completo no disponible (Saber más ...)
• Resumen

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