Universal Rosser predicates

&
Journal of Symbolic Logic 82 (1):292-302 (2017)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/jsl.2016.19
Options
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: 71,379
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

Derivability Conditions on Rosser's Provability Predicates.Toshiyasu Arai - 1990 - Notre Dame Journal of Formal Logic 31 (4):487-497.
Rosser Sentences.D. Guaspari - 1979 - Annals of Mathematical Logic 16 (1):81.

Add more references

Citations of this work BETA

Rosser Provability and Normal Modal Logics.Taishi Kurahashi - 2020 - Studia Logica 108 (3):597-617.

Add more citations

Similar books and articles

Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
Henkin Sentences and Local Reflection Principles for Rosser Provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.
Derivability Conditions on Rosser's Provability Predicates.Toshiyasu Arai - 1990 - Notre Dame Journal of Formal Logic 31 (4):487-497.
Rosser Orderings and Free Variables.Dick de Jongh & Franco Montagna - 1991 - Studia Logica 50 (1):71-80.
Rosser Orderings and Free Variables.Dick Jongh & Franco Montagna - 1991 - Studia Logica 50 (1):71 - 80.
Vague Predicates and Language Games.Rohit Parikh - 1996 - Theoria 11 (3):97-107.
Church-Rosser Property for Conditional Rewriting Systems with Built-in Predicates as Premises.Mauricio Ayala-Rincon - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of Combining Systems. Research Studies Press. pp. 2--17.
Minimalism, Fiction and Ethical Truth.Graham Oppy - manuscript
Vague Predicates and Language Games.Rohit Parikh - 1996 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 11 (3):97-107.
Must Synonymous Predicates be Coextensive?Charles Sayward - 1981 - Logique Et Analyse 95 (95):430-435.
Review: H. B. Curry, A New Proof of the Church-Rosser Theorem. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):377-378.
Long Wave Chaos and Systemic Economic Transformation.J. Barkley Rosser & Marina Vcherashnaya Rosser - 1994 - World Futures 39 (4):197-207.
Quantum Sortal Predicates.Décio Krause & Steven French - 2007 - Synthese 154 (3):417 - 430.
Romance is so Complex.Christopher Manning - manuscript
Quantum Sortal Predicates.D.\'ecio Krause & Steven French - 2007 - Synthese 154 (3):417 - 430.

Analytics

Added to PP index
2017-03-26

Total views
15 ( #700,978 of 2,519,678 )

Recent downloads (6 months)
1 ( #406,314 of 2,519,678 )

How can I increase my downloads?

Downloads

My notes



Home | New books and articles | Bibliographies | Philosophy journals | Discussions | Article Index | About PhilPapers | API | Contact us | Code of conduct

CDP Phiosophy Documentation Center
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation

Server: philpapers-web-584f896dc5-fv2tc N