Zdôvodňovanie v teórii jednoduchých typov: Andrews pri príležitosti jeho 70. narodenín

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.

Pôvodný názov:

Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday

Obsah knihy:

Reasoning in Simple Type Theory je zbierka článkov, ktorá obsahuje reprinty ôsmich zásadných prác v tejto oblasti, ako aj trinásť nových článkov.

Za reprinty sme vybrali článok Alonza Churcha (predstavenie jeho jednoduchej teórie typov), článok Leona Henkina (dôkaz úplnosti Churchovej teórie typov vzhľadom na Henkinovu sémantiku) a niektoré z najdôležitejších článkov Petra Andrewsa. Novými článkami prispeli Peter Andrews a jeho študenti a spolupracovníci, ako aj viacerí bádatelia, ktorých jeho práca ovplyvnila.

Zámerom zborníka je ukázať historický vývoj tejto dôležitej oblasti formálneho usudzovania až po jej súčasný stav a vychádza na počesť Petra Andrewsa pri príležitosti jeho 70. narodenín.