Explicit Substitution in Hyperintensional Contexts

RACLAVSKÝ, Jiří. Explicit Substitution in Hyperintensional Contexts. In Non-Classical Logic. Theory and Applications (NCL'16). 2016.

Základní údaje

• Originální název: Explicit Substitution in Hyperintensional Contexts
• Autoři: RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí).
• Vydání: Non-Classical Logic. Theory and Applications (NCL'16), 2016.

Další údaje

• Originální 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í
• Kód RIV: RIV/00216224:14210/16:00113940
• Organizační jednotka: Filozofická fakulta
• Klíčová slova anglicky: substitutivity of identicals; hyperintensional contexts; type theory
• Štítky: rivok
• Příznaky: Mezinárodní význam, Recenzováno

Anotace

I propose the correct rule of substititivity of identicals usable also in hyperintensional contexts. The logical framework in use is Tichy's ramified partial type theory, which is very expressive. The proposal is thus rather general. We start with definition of substitution function and then formulate terms of explicit substitution and also its execution.

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ů