Deduction in Ramified Partial Type Theory: Focus on Derivation with Typing Judgements

RACLAVSKÝ, Jiří. Deduction in Ramified Partial Type Theory: Focus on Derivation with Typing Judgements. In XXI. Applications of Logic in Philosophy and the Foundations of Mathematics. 2016.

Základní údaje

Originální název

Deduction in Ramified Partial Type Theory: Focus on Derivation with Typing Judgements

Autoři

RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí)

Vydání

XXI. Applications of Logic in Philosophy and the Foundations of Mathematics, 2016

---

Další údaje

Jazyk

angličtina

Typ výsledku

Konferenční abstrakt

Obor

60301 Philosophy, History and Philosophy of science and technology

Stát vydavatele

Polsko

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Kód RIV

RIV/00216224:14210/16:00113939

Organizační jednotka

Filozofická fakulta

Klíčová slova anglicky

typing judgements;type theory

Štítky

rivok

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

In computer science, type theory is massively used as the basis of functional programming and theorem provers. Explicit use of typing judgements, e.g. ``$X$ is of type $\tau$.'', enables us a better control of programme behaviour (preventing cycling, ...), better control over quantification (preventing paradoxes, ...). The present talk focuses on deduction with typing judgements in Tichý's partial type theory, which is valuable because of its implementing partiality, incl. partiality of entities allowed in its ramified part.

---

Návaznosti

GA16-19395S, projekt VaV

Název: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Akronym: Sémantické pojmy) Investor: Grantová agentura ČR, Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů