RT Journal Article
T1 Hybrid Partial Type Theory
A1 Manzano Arjona, María
A1 Huertas, Antonia
A1 Blackburn, Patrick
A1 Martins, Manuel Antonio
A1 Aranda Utrero, Víctor
AB In this article we define a logical system called Hybrid Partial Type Theory (HPTT ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate this combination of ideas in the introduction, and devote the rest of the article to defining, axiomatising, and proving a completeness result for HPTT .
PB Cambridge University Press
SN 0022-4812
YR 2023
FD 2023
LK https://hdl.handle.net/20.500.14352/98612
UL https://hdl.handle.net/20.500.14352/98612
LA eng
NO MANZANO M, HUERTAS A, BLACKBURN P, MARTINS M, ARANDA V. HYBRID PARTIAL TYPE THEORY. The Journal of Symbolic Logic. Published online 2023:1-43. doi:10.1017/jsl.2023.33
NO Ministerio de Economía y Competitividad (España)
NO Portuguese funding agency
DS Docta Complutense
RD 5 abr 2025