On Local Proof Restrictions for Strong Theories
Państwowe Wydawn. Naukowe (1973)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Proof theory | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Call number | QA9.54.D54 vol. 108 | |||||||||
| ISBN(s) | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesGerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge (2008). Strong Completeness and Limited Canonicity for PDL. Journal of Logic, Language and Information 17 (1).
Solomon Feferman (2000). Does Reductive Proof Theory Have a Viable Rationale? Erkenntnis 53 (1-2):63-96.
Gerhard Jäger & Barbara Primo (1992). About the Proof-Theoretic Ordinals of Weak Fixed Point Theories. Journal of Symbolic Logic 57 (3):1108-1119.
Andrew Elby (1993). Why Local Realistic Theories Violate, Nontrivially, the Quantum Mechanical EPR Perfect Correlations. British Journal for the Philosophy of Science 44 (2):213-230.
Peter Aczel, Harold Simmons & S. S. Wainer (eds.) (1992). Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990. Cambridge University Press.
Sara Negri (2011). Proof Analysis: A Contribution to Hilbert's Last Problem. Cambridge University Press.
Carlo Cellucci (2008). Why Proof? What is a Proof? In Giovanna Corsi & Rossella Lupacchini (eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, pp. 1-27. Springer.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
