论文信息 - Motivating Ramified Type Theory - 字舞流文

Motivating Ramified Type Theory

Richmond H. Thomason | R. Thomason

[1] Richmond H. Thomason,et al. Paradoxes and Semantic Representation , 1986, TARK.

[2] Richmond H. Thomason,et al. A model theory for propositional attitudes , 1980 .

[3] Alonzo Church,et al. Comparison of Russell's resolution of the semantical antinomies with that of Tarski , 1976, Journal of Symbolic Logic.

[4] Daniel Gallin,et al. Intensional and Higher-Order Modal Logic , 1975 .

[5] Solomon Feferman,et al. Systems of predicative analysis , 1964, Journal of Symbolic Logic.

[6] William Kneale,et al. The development of logic , 1963 .

[7] A. N. Prior,et al. On a family of paradoxes , 1961, Notre Dame J. Formal Log..

[8] F. Ramsey. The foundations of mathematics , 1932 .