kombinatorická logika

kombinatorická logika — logická teória, v ktorej sú všetky premenné eliminované pomocou zovšeobecneného pojmu funkcie, pričom úlohu argumentu (hodnoty premennej) i úlohu hodnoty funkcií plnia funkcie, takže premenné môžu byť nahradené takýmito špecifickými funkciami. Cieľom kombinatorickej logiky je eliminácia pravidiel typu substitúcie, ktoré vyžadujú prácu s viazanými premennými. Vo formulách kombinatorickej logiky sú viazané premenné eliminované kombinátormi (funkciami vyšších rádov). Iniciátorom takéhoto prístupu bol Moses Schönfinkel (*1889, †1942). Autormi významných prác z oblasti kombinatorickej logiky sú H. B. Curry, William Craig (*1918, †2016) a Robert Feys (*1889, †1961). S kombinatorickou logikou súvisí aj tzv. lambda kalkul A. Churcha, pretože kombinatorická logika dokáže napodobniť lambda kalkul bez toho, aby mala operátor viažuci premenné.