Project information

Hyperintensional meaning, type theory and logical deduction (Hyperintensionality and Types)

Investor logo
Project Identification
GA19-12420S
Project Period
1/2019 - 12/2021
Investor / Pogramme / Project type
Czech Science Foundation
MU Faculty or unit
Faculty of Arts
Cooperating Organization
The Academy of Sciences of the Czech Republic

The project aims to advance a hyperintensional theory of meaning according to which meanings are fine-grained objects of algorithmic nature. In its core, it will combine both type-theoretic and proof-theoretic approaches to semantics: meanings will be framed in a type-theoretical environment yet governed by derivation rules. The project will focus on development of these deduction rules for the adopted type system. The project is based on and contributes to the recent advances in the field and it is fully aimed at international community.

Publications

Total number of publications: 12


Previous 1 2 Next

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

More info