Journal of Philosophical Logic 34 (5-6):607-620 (2005)

Katalin Bimbo
University of Alberta
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_\rightarrow$ are in normal form and built in all but one casefrom B, B' and W only. As a tool in the proof ordered term rewriting systems are introduced. Based on the main theorem I define $FIT_\rightarrow$ - a Fitch-style calculus for the implicational fragment of ticket entailment.
Keywords Philosophy
Categories (categorize this paper)
DOI 10.1007/s10992-005-2831-x
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,899
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

View all 7 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Types of I -Free Hereditary Right Maximal Terms.Katalin Bimbó - 2005 - Journal of Philosophical Logic 34 (5/6):607 - 620.
Bounded Martin’s Maximum with an Asterisk.David Asperó & Ralf Schindler - 2014 - Notre Dame Journal of Formal Logic 55 (3):333-348.
A Nonstandard Counterpart of WWKL.Stephen G. Simpson & Keita Yokoyama - 2011 - Notre Dame Journal of Formal Logic 52 (3):229-243.
On Interpretability in the Theory of Concatenation.Vítězslav Švejdar - 2009 - Notre Dame Journal of Formal Logic 50 (1):87-95.
A Note on da Costa-Doria “Exotic Formalizations”.L. Gordeev - 2010 - Archive for Mathematical Logic 49 (7-8):813-821.
Models of Transfinite Provability Logic.David Fernández-Duque & Joost J. Joosten - 2013 - Journal of Symbolic Logic 78 (2):543-561.
Around Splitting and Reaping for Partitions of Ω.Hiroaki Minami - 2010 - Archive for Mathematical Logic 49 (4):501-518.
Growing Commas. A Study of Sequentiality and Concatenation.Albert Visser - 2009 - Notre Dame Journal of Formal Logic 50 (1):61-85.
A Variant of Mathias Forcing That Preserves {\ Mathsf {ACA} _0}.François G. Dorais - 2012 - Archive for Mathematical Logic 51 (7-8):751-780.
Isomorphism Types of Maximal Cofinitary Groups.Bart Kastermans - 2009 - Bulletin of Symbolic Logic 15 (3):300-319.


Added to PP index

Total views
12 ( #749,858 of 2,402,070 )

Recent downloads (6 months)
1 ( #552,323 of 2,402,070 )

How can I increase my downloads?


My notes