On Rosser's provability predicates

Journal of the Japan Association for Philosophy of Science 41 (2):93-101 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.4288/kisoron.41.2_93

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,894

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

Derivability conditions on Rosser's provability predicates.Toshiyasu Arai - 1990 - Notre Dame Journal of Formal Logic 31 (4):487-497.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
On Rosser's Provability Predicate.V. Shavrukov - 1991 - Mathematical Logic Quarterly 37 (19-22):317-330.
A Dynamic Semantics for Vague Predicates.Akihiro Yoshimitsu - 2004 - Annals of the Japan Association for Philosophy of Science 12 (2):109-128.
On Rosser's Provability Predicate.V. Yu Shavrukov - 1991 - Mathematical Logic Quarterly 37 (19‐22):317-330.
Logics of Provability.Rafal Urbaniak & Pawel Pawlowski - 2012 - In Sven Ove Hansson & Vincent F. Hendricks, Introduction to Formal Philosophy. Cham: Springer. pp. 191-237.
Viewpoints on formalism" seen in 'Journal of the Japan Association for Philosophy of Science.Mariko Yasugi - 2016 - Journal of the Japan Association for Philosophy of Science 43 (1-2):17-30.
Philosophy of Science in Japan 1996-2000.Takashi Iida - 2001 - Annals of the Japan Association for Philosophy of Science 10 (2):81-89.
Some Aspects of the Philosophy of Science in Japan.Hiroshi Nagai - 1956 - Annals of the Japan Association for Philosophy of Science 1 (1):63-90.

Analytics

Added to PP
2019-10-04

Downloads
29 (#870,730)

6 months
7 (#633,568)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On axiomatizability within a system.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.
Yablo's paradox.Graham Priest - 1997 - Analysis 57 (4):236-242.
Extensions of some theorems of gödel and church.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):87-91.
Derivability conditions on Rosser's provability predicates.Toshiyasu Arai - 1990 - Notre Dame Journal of Formal Logic 31 (4):487-497.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.

View all 8 references / Add more references