Deduction in TIL: From Simple to Ramified Hierarchy of Types
Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):5-36 (2013)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Explikace a deukce: of jednoduché k rozvětvené teorii typů [Explication and Deduction: From Simple to Ramified Theory of Types].Jiri Raclavsky - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (4):37-53.
A correspondence between Martin-löf type theory, the ramified theory of types and pure type systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.
Russell's way out of the paradox of propositions.André Fuhrmann - 2002 - History and Philosophy of Logic 23 (3):197-213.
The Versatility of Universality in Principia Mathematica.Brice Halimi - 2011 - History and Philosophy of Logic 32 (3):241-264.
Review: Shoji Maehara, Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types which Admits Quantifications on Types. [REVIEW]Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (2):325-325.
A modern elaboration of the ramified theory of types.Twan Laan & Rob Nederpelt - 1996 - Studia Logica 57 (2-3):243 - 278.
Systems of notations and the ramified analytical hierarchy.Joan D. Lukas & Hilary Putnam - 1974 - Journal of Symbolic Logic 39 (2):243-253.
A degree-theoretic definition of the ramified analytical hierarchy.Carl G. Jockusch & Stephen G. Simpson - 1976 - Annals of Mathematical Logic 10 (1):1-32.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Fitchův paradox poznatelnosti a rozvětvená teorie typů [Fitch's Paradox of Knowability and Ramified Theory of Types].Jiri Raclavsky - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20:144-165.
Cumulative versus Noncumulative Ramified Types.Anthony F. Peressini - 1997 - Notre Dame Journal of Formal Logic 38 (3):385-397.
Types in logic and mathematics before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.
Analytics
Added to PP
2013-12-12
Downloads
17 (#641,018)
6 months
1 (#449,220)
2013-12-12
Downloads
17 (#641,018)
6 months
1 (#449,220)
Historical graph of downloads
Author's Profile
References found in this work
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
A revised formulation of the logic of sense and denotation. Alternative (1).Alonzo Church - 1993 - Noûs 27 (2):141-157.
