Publication details

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
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.

More info