kombinatorische Logik

kombinatorische Logik, Richtung in der modernen mathematischen Logik, die die in der Logik üblichen Formulierungen einheitlich unter kombinatorischem Gesichtspunkt analysiert. Die kombinatorische Logik wurde von H. B. Curry und M. Schönfinkel begründet. Wichtige Vertreter sind u. a. A. Church, S. C. Kleene und J. B. Rosser.