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: |