Derivability of rules of beta-conversion in partial type theory

RACLAVSKÝ, Jiří a Petr KUCHYŇKA. Derivability of rules of beta-conversion in partial type theory. In Czech Gathering of Logicians (CGL2022). 2022.

Základní údaje

• Originální název: Derivability of rules of beta-conversion in partial type theory
• Autoři: RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí) a Petr KUCHYŇKA (203 Česká republika).
• Vydání: Czech Gathering of Logicians (CGL2022), 2022.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Prezentace na konferencích
• Obor: 60301 Philosophy, History and Philosophy of science and technology
• Stát vydavatele: Česká republika
• Utajení: není předmětem státního či obchodního tajemství
• WWW: URL
• Kód RIV: RIV/00216224:14210/22:00129978
• Organizační jednotka: Filozofická fakulta
• Klíčová slova anglicky: beta-reduction; partial type theory; partial lambda-calculus; natural deduction
• Příznaky: Recenzováno

Anotace

In partial type theory (PTT), the rules of beta-conversion should be appropriately conditioned in order to preserve their validity which can be negatively affected by partiality (non-denoting expressions). After showing that within a particular natural deduction for PTT, we derive also their novel variants which allow inferences not permissible using the original variants. Moreover, we derive even versions that substitute value (resembling call-by-value evaluation).

Návaznosti

• MUNI/A/1088/2021, interní kód MU: Název: Aspekty soudobé filozofie IV

Investor: Masarykova univerzita, Aspekty soudobé filozofie IV