Abstract
The implicational fragment of the relevance logic “ticket entailment” is closely related to the so-called hereditary right maximal terms. I prove that the terms that need to be considered as inhabitants of the types which are theorems of T→ are in normal form and built in all but one case from \(\mathsf{B},\mathsf{B}'\) and \(\mathsf{W}\) only. As a tool in the proof ordered term rewriting systems are introduced. Based on the main theorem I define FIT→ – a Fitch-style calculus (related to FT→) for the implicational fragment of ticket entailment.
Similar content being viewed by others
References
Anderson, A. R. (1960) Entailment shorn of modality (abstract), J. Symbolic Logic 25, 388.
Anderson, A. R. and Belnap, N. D. (1975) Entailment. The Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, NJ.
Anderson, A. R., Belnap, N. D. and Dunn, J. M. (1992) Entailment. The Logic of Relevance and Necessity, Vol. II, Princeton University Press, Princeton, NJ.
Curry, H. B. (1963) Foundations of Mathematical Logic, McGraw-Hill Book Company, New York.
Curry, H. B. and Feys, R. (1958) Combinatory Logic, Vol. I, 1st edn, North-Holland, Amsterdam.
Curry, H. B., Hindley, J. R. and Seldin, J. P. (1972) Combinatory Logic, Vol. II, North-Holland, Amsterdam.
Dunn, J. M. (1986) Relevance logic and entailment, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 3, Reidel, Dordrecht, pp. 117–229.
Enderton, H. B. (2001) A Mathematical Introduction to Logic, 2nd edn, Harcourt–Academic Press, Burlington, MA.
Helman, G. H. (1977) Restricted lambda abstraction and the interpretation of some nonclassical logics, Ph.D. thesis, University of Pittsburgh.
Hindley, J. R. and Seldin, J. P. (1986) Introduction to Combinators and λ-Calculus, Cambridge University Press, Cambridge, UK.
Terese (2003) Term Rewriting Systems, Cambridge Tracts in Theoret. Comput. Sci. 55, Cambridge University Press, Cambridge, UK.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bimbó, K. Types of \(\mathsf{I}\) -Free Hereditary Right Maximal Terms. J Philos Logic 34, 607–620 (2005). https://doi.org/10.1007/s10992-005-2831-x
Issue Date:
DOI: https://doi.org/10.1007/s10992-005-2831-x