论文信息 - A Type-Free System Extending (ZFC) - 字舞流文

A Type-Free System Extending (ZFC)

John R. Myhill | Bob Flagg | J. Myhill | Bob Flagg

[1] P. Aczel. Frege Structures and the Notions of Proposition, Truth and Set* , 1980 .

[2] Robert C. Flagg,et al. K-continuous lattices and comprehension principles for frege structures , 1987, Ann. Pure Appl. Log..

[3] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .

[4] Frederic Brenton Fitch. An Extension of Basic Logic , 1948, J. Symb. Log..

[5] Dana S. Scott,et al. Combinators and classes , 1975, Lambda-Calculus and Computer Science Theory.

[6] John L. Bell,et al. Boolean-valued models and independence proofs in set theory , 1977 .

[7] Robert C. Flagg,et al. Implication and analysis in classical frege structures , 1987, Ann. Pure Appl. Log..

[8] Oliver Aberth,et al. Computable analysis , 1980 .

[9] Frederic Brenton Fitch,et al. A basic logic , 1942, Journal of Symbolic Logic.

[10] Solomon Feferman,et al. Toward useful type-free theories. I , 1984, Journal of Symbolic Logic.