A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths (1996)

by Fairouz Kamareddine , Twan Laan
Venue:Journal of the Interest Group in Pure and Applied Logic 4(2
Citations:1 - 1 self

Documents Related by Co-Citation

2 et al. Implementing Maths with the Nuprl Proof Development System – R L Constable - 1986
1 Enhancing the Nuprl Proff Development System and Applying it to Computational Abstract Algebra – P B Jackson - 1995
1 A modern elaboration of the Ramified Theory of Types – T D L Laan - 1996
6 et al. The coq proof assistant version 5.6, users guide – G Dowek - 1991
21 The nuprl proof development system (version 4.2) reference manual and user’s guide. Unpublished manuscript – Paul Jackson - 1996
23 Grundzüge der Theoretischen Logik. Die Grundlehren der – D Hilbert, W Ackermann - 1928
10 German; also in: Das Kontinuum und andere Monographien, Chelsea Pub.Comp – Das Kontinuum Veit, Leipzig - 1918
76 Der Wahrheitsbegriff in den formalisierten Sprachen", Studia Philosophica I, 261-405. German translation of Tarski – A Tarski - 1935
153 Outline of a theory of truth – S Kripke - 1975
25 Een nadere bewijstheoretische analyse van GSTT’s – J Terlouw - 1989
60 The Foundations of Mathematics – F P Ramsey - 1926
567 Term Rewriting Systems – J. W. Klop - 1992
264 Constructive mathematics and computer programming – P Martin-Lof - 1982
445 The formulae-as-types notion of construction – W A Howard - 1980
854 A formulation of the simple theory of types – Alonzo Church - 1940
119 Mathematical Logic Based on the Theory of Types – Bertrand Russell - 1908
473 The Calculus of Constructions – T Coquand, G Huet - 1988
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
342 Intuitionistic Type Theory – Per Martin-Löf - 1984