VÍCTOR
ARANDA UTRERO
Researcher in the period 2021-2022
Publications (8) VÍCTOR ARANDA UTRERO publications
2024
-
Propositional Type Theory of Indeterminacy
Studia Logica
2023
-
HYBRID PARTIAL TYPE THEORY
Journal of Symbolic Logic
-
Non-denoting terms and "imaginary" numbers
Historia Logicae and its modern interpretation (College Publications), pp. 231-249
2022
-
Completeness: From Husserl to Carnap
Logica Universalis, Vol. 16, Núm. 1-2, pp. 57-83
-
Husserl, Carnap y los conceptos de completud en lógica
College Publications
-
Many-Sorted Logic
Stanford Encyclopedia of Philosophy Archive : (Winter 2022 Edition)
2021
-
Actas del X Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Salamanca, 16-19 de noviembre de 2021
dir. congr.
Instituto de Estudios de la Ciencia y la Tecnología
-
El primer Tarski y la concepción universalista de la lógica
Actas del X Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Salamanca, 16-19 de noviembre de 2021