kombinatorická logika

Matematika

Jeden ze směrů matematické logiky zabývající se jejími základy, tj. analýzou pojmů a metod, jež jsou ve formálních systémech a kalkulech klasické matematické logiky obvykle přijímány bez dalšího zkoumání (pravidlo modus ponens, substituce). Jedním z cílů kombinatorické logiky 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 kombinatorickou logikou je spjatý tzv. kalkul lambda-konverze A. Churche. Významné jsou i práce H. Curryho, W. Craiga a R. Feyse.

Vytvořeno: 14. 3. 2000
Aktualizováno: 8. 11. 2007
Autor: -red-