Manzano, M., Huertas, A., Blackburn, P., Martins, M. & Aranda, V. "Hybrid Partial Type Theory" (forthcoming)
Aranda, V., Huertas, A., Manzano, M. & Martins, M. "On the Philosophy and Mathematics of Hybrid Partial Type Theory" (fothcoming)
Aranda, V., Husserl, Carnap y los conceptos de completud en lógica, Cuadernos de lógica, Epistemología y Lenguaje, College Publications(fothcoming)
Aranda, V., "Non-Denoting Terms and Imaginary Numbers: Modern Interpretations of Husserl's 1901 Double Lecture". In: Historia Logicae, College Publications (forthcoming)
Aranda, V., "Completeness: From Husserl to Carnap", Logica Universalis, 16, 57-83 (2022) Spanish Prize of Logic 2021
Alonso, E. & Aranda, V. "La lógica contemporánea en sus manuales. 1940-1980”, Endoxa. Series Filosóficas, 46, 165-192 (2020)
Aranda, V. "Completeness, categoricity and imaginary numbers: the debate on Husserl”, Bulletin of the Section of Logic, 49(2), 109-125 (2020)
Aranda, V. "La polémica entre sintaxis y semántica en Post, Lewis y Wittgenstein", In: El jardín de senderos que se bifurcan y confluyen: Filosofía, Lógica y Matemáticas,Serie Selección de Textos, Universidad de Valparaíso (2020)
Aranda, V. "Completud débil y Post completud en la escuela de Hilbert", Revista de Humanidades de Valparaíso, 14, 449-466 (2019)
Aranda, V. “La verdad lógica en el fragmento proposicional de los Principia y sus implicaciones metalógicas”, Andamios. Revista de Investigación Social, 16, 43-61 (2019)
Metalógica I (Máster en Lógica y Filosofía de la Ciencia)
Lógica I (Grado en Filosofía y Doble Grado en Ciencias Políticas y Filosofía, Universidad Complutense de Madrid)
Lógica II (Grado en Filosofía, Universidad Complutense de Madrid)
Lógicas de Orden Superior (Máster en Estudios Avanzados en Filosofía, Curso 2021/22, Universidad de Salamanca)
Aplicaciones de la Lógica (Grado en Filosofía, Curso 2021/22, Universidad de Salamanca)
Lógica II (Grado en Filosofía, Curso 2021/22, Universidad de Salamanca)
Type Theory
History of Logic
"Description operators, Type Theory and Kleene's strong connectives", Trends in Logic XXII Workshop - Strong & Weak Kleene Logics
"Applications of Partial Boolean Algebras to Type Theory", WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022
"Description Operators in Partial Propositional Type Theory", TYPES 2022 - 28th International Conference on Types for Proofs and Programs
"A Theory of Types with Partial Boolean Functions", 7th World Congress and School on Universal Logic
"Completeness: From Husserl to Carnap", 7th World Congress and School on Universal Logic (Second World Prize Contest)
"Description Operators in Partial Propositional Logic", Formal Methods in Science and Philosophy IV
"Teoría de tipos y funciones parciales", IV World Logic Day, Universidad de Sevilla
"El primer Tarski y la concepción universalista de la lógica", X Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España
"Lógica y números imaginarios: interpretaciones actuales de la filosofía de la aritmética de Husserl", Seminario MásLógica, Actividades por el Día Mundial de la Filosofía
"Husserl and Carnap on completeness", PhDs in Logic XII
"El concepto de completud en lógica: E. Husserl", Seminario del Departamento de Lógica, Historia y Filosofía de la ciencia UNED
"Husserl and Carnap in the history of logic", 22nd annual Graduate Student Conference in Logic
"Husserl y Carnap desde la historia de la lógica", III World Logic Day, Instituto de Filosofía de la Universidad de Valparaíso
"Relating-modal logics and Hausdorff spaces", 1st Workshop on Relating Logics
"Tres conceptos de completud: una perspectiva histórica", Seminario de Investigación del Instituto de Estudios de la Ciencia y la Tecnología
"David Hilbert", II World Logic Day, Universidad de Salamanca
"The Universalism of Logic and the Theory of Types", 16th International Congress on Logic, Methodology and Philosophy of Science and Technology
"Completeness and categoricity: the debate on Husserl", Formal Methods and Science in Philosophy III
"Completud antes de Henkin", I World Logic Day, Universidad de Salamanca
"The origin of semantics in formalized languages", 6th World Congress and School on Universal Logic
"¿Quién dijo que la Lógica servía para esto?", II Congreso Internacional de la Red Española de Filosofía