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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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.
On Rosser's Provability Predicate.V. Yu Shavrukov - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (19-22):317-330.
Logics of Provability.Rafal Urbaniak & Pawel Pawlowski - 2012 - In Sven Ove Hansson & Vincent F. Hendricks (eds.), 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.
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.
Philosophy of Science in Japan 1976-1980.Hiroshi Kurosaki - 1982 - Annals of the Japan Association for Philosophy of Science 6 (2):103-107.

Analytics

Added to PP
2019-10-04

Downloads
16 (#934,884)

6 months
9 (#355,272)

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.
Yablifying the Rosser Sentence.Graham Leach-Krouse - 2014 - Journal of Philosophical Logic 43 (5):827-834.

View all 8 references / Add more references