Explicit Substitution in Hyperintensional Contexts
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Explicit Substitution in Hyperintensional Contexts
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology
Result continuities
Project
<a href="/en/project/GA16-19395S" target="_blank" >GA16-19395S: Semantic notions, paradoxes and hyperintensional logic based on modern ramified theory of types</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů