RT Journal Article
T1 Propositional Type Theory of Indeterminacy
A1 Aranda Utrero, Víctor
A1 Martins, Manuel
A1 Manzano Arjona, María Gracia
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 undefined. The specific interpretation we give to the undefined value is that of Kleene’s strong logic of indeterminacy. We present a semantics for the new system and prove that every element of any domain of the hierarchy has a name in the object language. Finally, we provide a proof system and a (constructive) proof of completeness.
PB Springer
SN 1572-8730
YR 2024
FD 2024-05-03
LK https://hdl.handle.net/20.500.14352/104079
UL https://hdl.handle.net/20.500.14352/104079
LA eng
NO Aranda, V., Martins, M. & Manzano, M. Propositional Type Theory of Indeterminacy. Studia Logica (2024). https://doi.org/10.1007/s11225-024-10099-0
NO Special Issue: Strong and weak Kleene logics. Edited by Gavin St. John and Francesco Paoli
NO Ministerio de Ciencia, Innovación y Universidades (España)
NO European Regional Development Fund
DS Docta Complutense
RD 9 abr 2025