Explicit Substitution in Hyperintensional Contexts

Logo poskytovatele
Autoři

RACLAVSKÝ Jiří

Rok publikování 2016
Druh Konferenční abstrakty
Fakulta / Pracoviště MU

Filozofická fakulta

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

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.