RACLAVSKÝ, Jiří. Partiality and Tichý's logic. In Epsilon meets lambda, Ostrava, 22.-24. června 2013. 2013. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | Partiality and Tichý's logic |
Název anglicky | Partiality and Tichý's logic |
Autoři | RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí). |
Vydání | Epsilon meets lambda, Ostrava, 22.-24. června 2013, 2013. |
Další údaje | |
---|---|
Originální jazyk | čeština |
Typ výsledku | Prezentace na konferencích |
Obor | 60300 6.3 Philosophy, Ethics and Religion |
Stát vydavatele | Česká republika |
Utajení | není předmětem státního či obchodního tajemství |
Kód RIV | RIV/00216224:14210/13:00068684 |
Organizační jednotka | Filozofická fakulta |
Klíčová slova anglicky | partiality; partial functions; type theory; Tichý |
Štítky | rivok |
Příznaky | Mezinárodní význam |
Změnil | Změnil: prof. PhDr. BcA. Jiří Raclavský, Ph.D., učo 7593. Změněno: 29. 9. 2014 14:16. |
Anotace |
---|
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. |
Anotace 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). |
Návaznosti | |
---|---|
MUNI/A/0795/2012, interní kód MU | Název: Filozofie přítomnosti |
Investor: Masarykova univerzita, Filozofie přítomnosti, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty |
VytisknoutZobrazeno: 21. 9. 2024 09:32