Hyperintensional meaning, type theory and logical deduction (Hyperintensionality and Types)
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.
Total number of publications: 12