Informace o projektu

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

Logo poskytovatele
Kód projektu
GA19-12420S
Období řešení
1/2019 - 12/2021
Investor / Programový rámec / typ projektu
Grantová agentura ČR
Fakulta / Pracoviště MU
Filozofická fakulta
Spolupracující organizace
Akademie věd České republiky

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.

Publikace

Počet publikací: 7