Partiality and Tichý's logic

RACLAVSKÝ, Jiří. Partiality and Tichý's logic. In Epsilon meets lambda, Ostrava, 22.-24. června 2013. 2013.

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

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