Logic as Universal Language and Quantification over Orders and Types within Type Theory

Authors

RACLAVSKÝ Jiří

Year of publication 2015
Type Conference abstract
MU Faculty or unit

Faculty of Arts

Citation RACLAVSKÝ, Jiří. Logic as Universal Language and Quantification over Orders and Types within Type Theory. In 5th International Congress of Universal Logic 2015 (Unilog 2015), 25-30 June 2015, Istanbul, Turkey. 2015.
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

By clicking “Accept Cookies”, you agree to the storing of cookies on your device to enhance site navigation, analyze site usage, and assist in our marketing efforts. Cookie Settings

Necessary Only Accept Cookies