kombinatorická logika
kombinatorická logika, jeden ze směrů mat. log. zabývající se jejími základy, tj. analýzou pojmů a metod, jež jsou ve formálních systémech a kalkulech klas. mat. log. obvykle přijímány bez dalšího zkoumání (pravidlo modus ponens, substituce). Jedním z cílů k. l. je eliminace pravidel typu substituce, která nemohou být aplikována čistě formálně, protože předpokládají řadu omezení a výhrad a jsou složitě formulována. S k. l. je spjatý tzv. kalkul lambda-konverze A. Churche; význ. jsou i práce H. Curryho, W. Craiga a R. Feyse.
