论文信息 - Various systems of set theory based on combinatory logic

Various systems of set theory based on combinatory logic

1. Introduction We consider in this paper various systems of set theory which, in their usual formulation, are based on predicate calculus. Here the predicate calculus is an applied predicate calculus, in that alongside the various categories of variables we have constants of various categories; concerning these constants we assume certain additional axioms.

Martin W. Bunder

[1] Martin W. Bunder,et al. A deduction theorem for restricted generality , 1973, Notre Dame J. Formal Log..

[2] Martin W. Bunder. A paradox in illative combinatory logic , 1970, Notre Dame J. Formal Log..

[3] Martin W. Bunder. Propositional and predicate calculuses based on combinatory logic , 1974, Notre Dame J. Formal Log..

[4] E. Cogan. A formalization of the theory of sets from the point of view of combinatory logic , 1955 .