TY  - JOUR
AU  - Aranda Utrero, Víctor
AU  - Martins, Manuel
AU  - Manzano Arjona, María Gracia
PY  - 2024
DO  - 10.1007/s11225-024-10099-0
SN  - 1572-8730
UR  - https://hdl.handle.net/20.500.14352/104079
T2  - Studia Logica
AB  - The aim of this paper is to define a partial Propositional Type Theory. Our system is partial in a double sense: the hierarchy of (propositional) types contains partial functions and some expressions of the language, including formulas, may be...
LA  - eng
PB  - Springer
KW  - Type theory
KW  - Partial logic
KW  - Three-valued logic
KW  - Kleene logic
TI  - Propositional Type Theory of Indeterminacy
TY  - journal article
ER  -