Partiality and Tichý's logic
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F13%3A00068684" target="_blank" >RIV/00216224:14210/13:00068684 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Partiality and Tichý's logic
Popis výsledku v původním jazyce
Prezentace pojednání parciality v rámci jednoduché a apak rozvětvené teorie typů Pavla Tichého. Zařazení do kontextu zkoumání parciality v posledních dvou dekádách. Prezentace autorem dosažených výsledků v této problematice.
Název v anglickém jazyce
Partiality and Tichý's logic
Popis výsledku anglicky
Presentation of the ways how partiality is treated within simple and them ramified version of Pavel Tichý's logical theory. Comparison of the results with other works on the topics in last two decades. Introducing the autor's own contributions (e.g. proof of invalidity of eta-reduction when adopting partial functions).
Klasifikace
Druh
O - Ostatní výsledky
CEP obor
AA - Filosofie a náboženství
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2013
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů