TY  - CHAP
AU  - Aranda Utrero, Víctor
AU  - Huertas, Antonia
AU  - Manzano, María
AU  - Martins, Manuel
A4  - Antunes, Henrique
A4  - Freire, Alfredo Roque
A4  - Rodrigues, Abilio
PY  - 2026
DO  - 10.1007/978-3-032-11027-5_3
SN  - 978-3-032-11026-8
SN  - 978-3-032-11029-9
SN  - 978-3-032-11027-5
UR  - https://hdl.handle.net/20.500.14352/137077
AB  - The aim of this paper is to present the philosophical influences and motivations of Hybrid Partial Type Theory (HPTT), a partial type theory combined with a strong version of hybrid logic in which the concepts of existence and denotation emerge...
LA  - eng
M2  - 37
PB  - Springer
KW  - Denotation
KW  - Existence
KW  - Philosophy of logic
KW  - Type theory
TI  - On the philosophy and mathematics of hybrid partial type theory
TY  - book part
VL  - 32
ER  -