Cut and Gamma I: Propositional and Constant Domain R

Review of Symbolic Logic:1-23 (forthcoming)

Yale Weiss
CUNY Graduate Center
The main object of this article is to give two novel proofs of the admissibility of Ackermann’s rule (γ) for the propositional relevant logic R. The results are established as corollaries of cut elimination for systems of tableaux for R. Cut elimination, in turn, is established both nonconstructively (as a corollary of completeness) and constructively (using Gentzen-like methods). The extensibility of the techniques is demonstrated by showing that (γ) is admissible for RQ* (R with constant domain quantifiers). The status of the admissibility of (γ) for RQ* was, to the best of the author’s knowledge, an open problem. Further extensions of these results will be explored in the sequel(s).
Keywords propositional relevant logic  constant domain relevant logic  gamma  cut
Categories (categorize this paper)
DOI 10.1017/s1755020319000388
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,914
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

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Vyčerpávající Aktuální Entity Všechny Možné Objekty?Radim Bělohrad - 2002 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 9 (4):359-384.
Strong Cut-Elimination for Constant Domain First-Order S5.Heinrich Wansing - 1995 - Logic Journal of the IGPL 3 (5):797-810.
Gamma Rhythms as Liminal Operators in Sensory Processing.Miles A. Whittington - 2004 - Behavioral and Brain Sciences 27 (6):807-808.
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.
Not All Attitudes Are Propositional.Alex Grzankowski - 2012 - European Journal of Philosophy (3):374-391.
$\Gamma$-Convergence of Concentration Problems.Micol Amar & Adriana Garroni - 2003 - Annali della Scuola Normale Superiore di Pisa 2 (1):151-179.
The Length of Some Diagonalization Games.Marion Scheepers - 1999 - Archive for Mathematical Logic 38 (2):103-122.
Domain of Discourse.Christopher Gauker - 1997 - Mind 106 (421):1-32.


Added to PP index

Total views
7 ( #884,708 of 2,266,272 )

Recent downloads (6 months)
7 ( #179,849 of 2,266,272 )

How can I increase my downloads?


My notes

Sign in to use this feature