Informace o projektu
Hyperintensional meaning, type theory and logical deduction
(Hyperintensionality and Types)
- Kód projektu
- GA19-12420S
- Období řešení
- 1/2019 - 12/2021
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- 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í: 14
2024
-
Completeness in partial type theory
Journal of Logic and Computation, rok: 2024, ročník: 34, vydání: 1, DOI
2022
-
Puzzles of Existential Generalisation from Type-theoretic Perspective
Electronic Proceedings In Theoretical Computer Science (358), rok: 2022
-
The Rule of Existential Generalisation and Explicit Substitution
Logic and logical philosophy, rok: 2022, ročník: 31, vydání: 1, DOI
2021
-
Completeness in Partial Type Theory
Rok: 2021, druh: Další prezentace na konferencích
-
Natural Deduction for Partial Type Theory with 'Evaluation Terms'
Rok: 2021, druh: Další prezentace na konferencích
-
Novel rules of beta-conversion in partial type theory
Rok: 2021, druh: Další prezentace na konferencích
-
The Rule of Existential Generalisation, Its Derivability and Formal Semantics
Rok: 2021, druh: Další prezentace na konferencích
2020
-
Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic
Rok: 2020, vydání: Vyd. 1., počet stran: 243 s.
-
Inevitable restrictions on the explication of the notions of knowledge, belief, necessity and truth
Rok: 2020, druh: Další prezentace na konferencích
-
Inevitable restrictions on the explication of the notions of knowledge, belief, necessity and truth
Rok: 2020, druh: Konferenční abstrakty