No CrossRef data available.
Article contents
Some results on combinators in the system TRC
Published online by Cambridge University Press: 12 March 2014
Abstract
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.
Keywords
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1999