Další formáty:
BibTeX
LaTeX
RIS
@proceedings{1422537, author = {Raclavský, Jiří}, booktitle = {6th Congress of Universal Logic (UNILOG6)}, keywords = {substitution; hyperintensional contexts; type theory}, language = {eng}, note = {(conf. abstract)}, title = {The Rule of Substitution and Hyperintensional Contexts}, year = {2018} }
TY - CONF ID - 1422537 AU - Raclavský, Jiří PY - 2018 TI - The Rule of Substitution and Hyperintensional Contexts N1 - (conf. abstract) KW - substitution KW - hyperintensional contexts KW - type theory 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 Substitution and Hyperintensional Contexts. In \textit{6th Congress of Universal Logic (UNILOG6)}. 2018.
|