Sistema B,C,K,W

El sistema B, C, K, W es una variante de lógica combinatoria que toma como primitivas a los combinadores B, C, K, and W. Este sistema fue propuesto originalmente por Haskell Curry en su tesis doctoral [GKL] Grundlagen der kombinatorischen Logik.[1]

Introducción

Haskell Curry, en su tesis doctoral [GKL], propuso un sistema con las características funcionales separadas: asociación, conversión, cancelación y duplicación. Si además pedimos combinadores regulares, propios y (y entre estos, los minimales) quedan, con la nomenclatura actual, B, C, K y W. Como es difícil tener el sistema de axiomas combinatorios original reproducimos aquí la versión dada en Rosenbloom 1950. ([EML] usa prefijo de aplicación que convertimos a la notación infija usual y en el contexto de recuperar [GKL] deja I sin definir: por tanto, cuidado con lo que sigue los siguientes términos)

Other Languages