Explicit Substitution in Hyperintensional Contexts

• Autoři: RACLAVSKÝ Jiří
• Rok publikování: 2016
• Druh: Konferenční abstrakty
• Fakulta / Pracoviště MU: Filozofická fakulta
• Popis: 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.

Související projekty

• Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů