Pure iteration and substitution as the basis of computability

&
Bulletin of the Section of Logic 40 (3/4):203-213 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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

Review: George J. Tourlakis, Computability. [REVIEW]Ann Yasuhara - 1988 - Journal of Symbolic Logic 53 (4):1255-1257.
George Tourlakis. Lectures in Logic and Set Theory, volumes 1 and 2. Cambridge studies in advanced mathematics, vol. 83. Cambridge University Press, Cambridge, UK, 2003. xi + 328 and xv + 575 pp. [REVIEW]Joel David Hamkins - 2005 - Bulletin of Symbolic Logic 11 (2):241-243.
Finite Logics and the simple substitution property.Tsutomu Hosoi & Katsumi Sasaki - 1990 - Bulletin of the Section of Logic 19 (3):74-78.
The simple substitution property of the intermediate propositional logics.Katsumi Sasaki - 1989 - Bulletin of the Section of Logic 18 (3):94-99.
George J. Tourlakis. Computabitity. Reston Publishing Company, Reston, Va., 1984, x + 566 pp. [REVIEW]Ann Yasuhara - 1988 - Journal of Symbolic Logic 53 (4):1255-1257.
On axiomatic products of PDL and S5: Substitution, tests and knowledge.Renate A. Schmidt & Dmitry Tishkovsky - 2002 - Bulletin of the Section of Logic 31 (1):27-36.
George S. Boolos, John P. Burgess, and Richard C. Jeffrey. Computability and logic, Fourth edition. Cambridge University Press, Cambridge, 2002. xi + 356 pp. [REVIEW]Richard Zach - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
and the existence of strong divisible closures (ACA0). Section 8 deals more directly with computability issues and discusses the relationship between Π0. [REVIEW]Reed Solomon - 1999 - Bulletin of Symbolic Logic 5 (1).
Pure strict implication logics.Szymon Frankowski - 2007 - Bulletin of the Section of Logic 36 (1/2):59-65.
On pure refutation formulations of sentential logics.Tomasz Skura - 1990 - Bulletin of the Section of Logic 19 (3):102-107.

Analytics

Added to PP
2013-10-28

Downloads
23 (#670,463)

6 months
5 (#836,928)

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

No references found.

Add more references