Další formáty:
BibTeX
LaTeX
RIS
@proceedings{1353533, author = {Raclavský, Jiří}, booktitle = {Non-Classical Logic. Theory and Applications (NCL'16)}, keywords = {substitutivity of identicals; hyperintensional contexts; type theory}, language = {eng}, note = {(konf. abstrakt)}, title = {Explicit Substitution in Hyperintensional Contexts}, year = {2016} }
TY - CONF ID - 1353533 AU - Raclavský, Jiří PY - 2016 TI - Explicit Substitution in Hyperintensional Contexts N1 - (konf. abstrakt) KW - substitutivity of identicals KW - hyperintensional contexts KW - type theory N2 - 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. ER -
RACLAVSKÝ, Jiří. Explicit Substitution in Hyperintensional Contexts. In \textit{Non-Classical Logic. Theory and Applications (NCL'16)}. 2016.
|