论文信息 - Some results on combinators in the system TRC

Some results on combinators in the system TRC

We investigate the system TRC of untyped illative combinatory logic that is equiconsistent with New Foundations. We prove that various unstratified combinators do not exist in TRC.

Thomas Jech | T. Jech

[1] M. Randall Holmes,et al. Systems of Combinatory Logic Related to Quine's 'New Foundations' , 1991, Ann. Pure Appl. Log..

[2] William C. Frederick,et al. A Combinatory Logic , 1995 .

[3] Willard Van Orman Quine,et al. New Foundations for Mathematical Logic , 1937 .

[4] J. Roger Hindley,et al. Introduction to combinators and λ-calculus , 1986, Acta Applicandae Mathematicae.

[5] William McCune. OTTER 3.0 , 1994 .

[6] Raymond M. Smullyan,et al. To Mock a Mockingbird , 1985 .