Explicit Substitution in Hyperintensional Contexts
| Authors | |
|---|---|
| Year of publication | 2016 |
| Type | Conference abstract |
| MU Faculty or unit | |
| Citation | |
| 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. |
| Related projects: |