![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Informace o publikaci
The Rule of Explicit Substitution into (Hyper)intensional Contexts
Autoři | |
---|---|
Rok publikování | 2018 |
Druh | Další prezentace na konferencích |
Fakulta / Pracoviště MU | |
Citace | |
Popis | The correct Rule of Substitition usable also in hyperintensional contexts is formulated and tested in various contexts. I show and examine genuine and pseudo- hyperintensional contexts (in the latter ones, substitution is possible - despite appearances). I investigate the proper source of genuine hyperintensional contexts. The employed formal apparatus is ramified partial type theory. |
Související projekty: |