Skip to main content
SpringerLink
Log in

Types of \(\mathsf{I}\) -Free Hereditary Right Maximal Terms

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Anderson, A. R. (1960) Entailment shorn of modality (abstract), J. Symbolic Logic 25, 388.

    Google Scholar 

  • Anderson, A. R. and Belnap, N. D. (1975) Entailment. The Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, NJ.

    Google Scholar 

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

    Google Scholar 

  • Curry, H. B. (1963) Foundations of Mathematical Logic, McGraw-Hill Book Company, New York.

    Google Scholar 

  • Curry, H. B. and Feys, R. (1958) Combinatory Logic, Vol. I, 1st edn, North-Holland, Amsterdam.

    Google Scholar 

  • Curry, H. B., Hindley, J. R. and Seldin, J. P. (1972) Combinatory Logic, Vol. II, North-Holland, Amsterdam.

    Google Scholar 

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

    Google Scholar 

  • Enderton, H. B. (2001) A Mathematical Introduction to Logic, 2nd edn, Harcourt–Academic Press, Burlington, MA.

    Google Scholar 

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

    Google Scholar 

  • Terese (2003) Term Rewriting Systems, Cambridge Tracts in Theoret. Comput. Sci. 55, Cambridge University Press, Cambridge, UK.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. 23 Stratton Street, Normandale, Lower Hutt, Wellington, New Zealand

    Katalin Bimbó

Authors
  1. Katalin Bimbó
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Katalin Bimbó.

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10992-005-2831-x

Keywords

Search

Navigation