Many-Sorted Logic M Manzano, V Aranda The Stanford Encyclopedia of Philosophy https://plato.stanford.edu/entries …, 2022 | 10 | 2022 |
Completeness: From Husserl to Carnap V Aranda Logica Universalis 16 (1), 57-83, 2022 | 8 | 2022 |
Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl V Aranda Bulletin of the Section of Logic 49 (2), 109–125-109–125, 2020 | 7 | 2020 |
Hybrid partial type theory M Manzano, A Huertas, P Blackburn, M Martins, V ARANDA The Journal of Symbolic Logic, 1-37, 2021 | 5 | 2021 |
La lógica contemporánea en sus manuales. 1940-1980 E Alonso, V Aranda Éndoxa 46, 2020 | 3 | 2020 |
Propositional Type Theory of Indeterminacy V Aranda, M Martins, M Manzano Studia Logica, 1-30, 2024 | 1 | 2024 |
Completud débil y Post completud en la escuela de Hilbert VA Utrero Revista de Humanidades de Valparaíso, 449-466, 2019 | 1* | 2019 |
Non-Denoting Terms and "Imaginary" Numbers V Aranda Historia Logicae and its Modern Interpretation 1, 231-249, 2023 | | 2023 |
Husserl, Carnap y los conceptos de completud en lógica V Aranda College Publications http://www.collegepublications.co.uk/cuadernos/?00020, 2022 | | 2022 |
El primer Tarski y la concepción universalista de la lógica V Aranda Actas del X Congreso de la Sociedad de Lógica, Metodología y Filosofía de …, 2021 | | 2021 |
La polémica entre sintaxis y semántica en Post, Lewis y Wittgenstein V Aranda El jardín de senderos que se bifurcan y confluyen: Filosofía, Lógica y …, 2020 | | 2020 |
Nociones de completud en Husserl y Carnap V Aranda Universidad Autónoma de Madrid, 2020 | | 2020 |
Weak and Post completeness in the Hilbert school V Aranda Humanities Journal of Valparaíso, 449-466, 2019 | | 2019 |
La verdad lógica en el fragmento proposicional de los Principia y sus implicaciones metalógicas V Aranda Utrero Andamios 16 (41), 43-61, 2019 | | 2019 |
LOGICAL TRUTH IN THE PROPOSITIONAL FRAGMENT OF THE PRINCIPIA AND ITS METALOGICAL IMPLICATIONS V Aranda Utrero ANDAMIOS 16 (41), 43-61, 2019 | | 2019 |
The origin of semantics in formal languages VA Utrero Handbook of the 6th World Congress and School on Universal Logic, 476, 2018 | | 2018 |
Completud antes de Henkin PDM de la Lógica, VA Utrero | | |