Universal Rosser predicates

&
Journal of Symbolic Logic 82 (1):292-302 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2016.19

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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
2017-03-26

Downloads
23 (#678,283)

6 months
4 (#775,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.
Rosser Provability and Normal Modal Logics.Taishi Kurahashi - 2020 - Studia Logica 108 (3):597-617.

Add more citations

References found in this work

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