María Gracia
Manzano Arjona
Profesora Emérita Honorífica
Publicaciones (62) Publicaciones de María Gracia Manzano Arjona
2023
-
HYBRID PARTIAL TYPE THEORY
Journal of Symbolic Logic
2022
-
Exorcising the phantom zone
Information and Computation, Vol. 287
-
Many-Sorted Logic
Stanford Encyclopedia of Philosophy Archive : (Winter 2022 Edition)
2021
-
Tools for Teaching Logic transcurridos 22 años
Lógica, conocimiento y abducción: homenaje a Ángel Nepomuceno (College Publications), pp. 63-82
2019
-
Completeness in Equational Hybrid Propositional Type Theory
Studia Logica, Vol. 107, Núm. 6, pp. 1159-1198
-
Quantifiers and Conceptual Existence
Mario Bunge: A Centenary Festschrift (Springer International Publishing), pp. 117-138
-
Rigid First-Order Hybrid Logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
-
Identity, equality, nameability and completeness. Part II
Bulletin of the Section of Logic, Vol. 47, Núm. 3, pp. 141-158
2017
-
A note on Visions of Henkin
Synthese
-
Identity, equality, nameability and completeness*
Bulletin of the Section of Logic, Vol. 46, Núm. 3-4, pp. 169-195
2015
-
Apuntes para una historia de la lógica en Iberoamérica en el siglo XX
Filosofía iberoamericana del siglo XX. Vol. I, Filosofía teórica e historia de la filosofía (Consejo Superior de Investigaciones Científicas, CSIC), pp. 101-170
-
Visions of Henkin
Synthese, Vol. 192, Núm. 7, pp. 2123-2138
2014
-
A semantics for equational hybrid propositional type theory
Bulletin of the Section of Logic, Vol. 43, Núm. 3-4, pp. 121-138
-
April the 19th
Studies in Universal Logic (Springer Nature), pp. 265-278
-
Completeness in Hybrid Type Theory
Journal of Philosophical Logic, Vol. 43, Núm. 2-3, pp. 209-238
-
Completeness: From Gödel to Henkin
History and Philosophy of Logic, Vol. 35, Núm. 1, pp. 50-75
-
Henkin and Hybrid Logic
Studies in Universal Logic (Springer Nature), pp. 279-306
-
Henkin on Completeness
Studies in Universal Logic (Springer Nature), pp. 149-175
-
Leon Henkin
Studies in Universal Logic (Springer Nature), pp. 3-22
-
Preface
Studies in Universal Logic