A formalization of the Ramified Type Theory (1994)

Cached

Download Links

by Twan Laan
Citations:3 - 1 self

Documents Related by Co-Citation

153 Outline of a theory of truth – S Kripke - 1975
854 A formulation of the simple theory of types – Alonzo Church - 1940
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
50 Toward Useful Type-Free Theories I – S Feferman - 1984
76 Der Wahrheitsbegriff in den formalisierten Sprachen", Studia Philosophica I, 261-405. German translation of Tarski – A Tarski - 1935
35 Heijenoort, editor. From Frege to Gödel: A Source Book – J van - 1967
60 The Foundations of Mathematics – F P Ramsey - 1926
65 Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Louis Nebert – Begriffsschrift - 1970
59 Combinatory Logic - Volume – H B Curry, R Feys, W Craig - 1972
477 The Proper Treatment of Quantification in Ordinary English – Richard Montague - 1973
119 Mathematical Logic Based on the Theory of Types – Bertrand Russell - 1908
137 The Principles of Mathematics – B Russell - 1964
4 eine der arithmetischen nachgebildete Formelsprache des reinen Denkens – Begriffschrift - 1879
1 All references in this paper are to the first volume). Received 6 – Principia Mathematica Cambridge University Press - 1910
1 a form of modus ponens preceded by `just enough' substitution to make the modus ponens possible. The substitution mechanism, for implicational formulas, was a precursor to Robinson's unification algorithm [8]. Roughly, a system of implicational logic is D – is - 1996
1 all the work below, if P is a formula of logic, oe i (P ) will represent the result of a simultaneous substitution of formulas for propositional variables in P . (Rule D). From P ! Q and R conclude oe 1 (Q), where there are substitutions oe 1 and oe 2 suc – In
3 Principia Mathematica; Cambridge – A N Whitehead, B Russell - 1913
99 Principia Mathematica – A Whitehead, B Russell - 1910