Seguir
Víctor Aranda
Título
Citado por
Citado por
Año
Many-Sorted Logic
M Manzano, V Aranda
The Stanford Encyclopedia of Philosophy https://plato.stanford.edu/entries …, 2022
102022
Completeness: From Husserl to Carnap
V Aranda
Logica Universalis 16 (1), 57-83, 2022
82022
Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl
V Aranda
Bulletin of the Section of Logic 49 (2), 109–125-109–125, 2020
72020
Hybrid partial type theory
M Manzano, A Huertas, P Blackburn, M Martins, V ARANDA
The Journal of Symbolic Logic, 1-37, 2021
52021
La lógica contemporánea en sus manuales. 1940-1980
E Alonso, V Aranda
Éndoxa 46, 2020
32020
Propositional Type Theory of Indeterminacy
V Aranda, M Martins, M Manzano
Studia Logica, 1-30, 2024
12024
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–17