k 2022

Derivability of rules of beta-conversion in partial type theory

RACLAVSKÝ, Jiří a Petr KUCHYŇKA

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

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í

Odkazy

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
Změněno: 18. 3. 2024 14:12, prof. PhDr. BcA. Jiří Raclavský, Ph.D.

Anotace

V originále

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