Publication details

The Rule of Explicit Substitution into (Hyper)intensional Contexts

Investor logo
Authors

RACLAVSKÝ Jiří

Year of publication 2018
Type Appeared in Conference without Proceedings
MU Faculty or unit

Faculty of Arts

Citation
Description 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.
Related projects:

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

More info