Other formats:
BibTeX
LaTeX
RIS
@proceedings{1311215, author = {Raclavský, Jiří}, booktitle = {5th International Congress of Universal Logic 2015 (Unilog 2015), 25-30 June 2015, Istanbul, Turkey}, keywords = {type theory; quantification; hyperintensional logic}, language = {eng}, note = {(konf. abstrakt)}, title = {Logic as Universal Language and Quantification over Orders and Types within Type Theory}, year = {2015} }
TY - CONF ID - 1311215 AU - Raclavský, Jiří PY - 2015 TI - Logic as Universal Language and Quantification over Orders and Types within Type Theory N1 - (konf. abstrakt) KW - type theory KW - quantification KW - hyperintensional logic N2 - My main goal in this talk is to show how a particular type theory can fulfil a role of universal logical language. I will demonstrate how to properly quantify over orders and types in an extended type theory -- which shows its expressibility. I will point at some further possibilities and also limits of extending such type theory. I will conclude that the extended type theory, which is capable to discuss 'lower-level' type-theories, will not result in a hierarchy - which shows its universality. ER -
RACLAVSKÝ, Jiří. Logic as Universal Language and Quantification over Orders and Types within Type Theory. In \textit{5th International Congress of Universal Logic 2015 (Unilog 2015), 25-30 June 2015, Istanbul, Turkey}. 2015.
|