Další formáty:
BibTeX
LaTeX
RIS
@proceedings{1663160, author = {Raclavský, Jiří}, booktitle = {6th World Congress and School on Universal Logic, Vichy, France, 16.-26. 6. 2018}, keywords = {substitution; hyperintensional contexts; type theory}, language = {eng}, note = {(conf.)}, title = {The Rule of Explicit Substitution into (Hyper)intensional Contexts}, url = {https://www.uni-log.org/vichy2018.html}, year = {2018} }
TY - CONF ID - 1663160 AU - Raclavský, Jiří PY - 2018 TI - The Rule of Explicit Substitution into (Hyper)intensional Contexts N1 - (conf.) KW - substitution KW - hyperintensional contexts KW - type theory UR - https://www.uni-log.org/vichy2018.html N2 - 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. ER -
RACLAVSKÝ, Jiří. The Rule of Explicit Substitution into (Hyper)intensional Contexts. In \textit{6th World Congress and School on Universal Logic, Vichy, France, 16.-26. 6. 2018}. 2018.
|