Explicit Substitution in Hyperintensional Contexts

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F16%3A00113940" target="_blank" >RIV/00216224:14210/16:00113940 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Explicit Substitution in Hyperintensional Contexts

Popis výsledku v původním jazyce

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ázev v anglickém jazyce

Explicit Substitution in Hyperintensional Contexts

Popis výsledku anglicky

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.

Druh

O - Ostatní výsledky

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GA16-19395S" target="_blank" >GA16-19395S: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2016

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů