Publicaciones (62) Publicaciones de María Gracia Manzano Arjona

2023

  1. HYBRID PARTIAL TYPE THEORY

    Journal of Symbolic Logic

2022

  1. Exorcising the phantom zone

    Information and Computation, Vol. 287

  2. Many-Sorted Logic

    Stanford Encyclopedia of Philosophy Archive : (Winter 2022 Edition)

2021

  1. Tools for Teaching Logic transcurridos 22 años

    Lógica, conocimiento y abducción: homenaje a Ángel Nepomuceno (College Publications), pp. 63-82

2019

  1. Completeness in Equational Hybrid Propositional Type Theory

    Studia Logica, Vol. 107, Núm. 6, pp. 1159-1198

  2. Quantifiers and Conceptual Existence

    Mario Bunge: A Centenary Festschrift (Springer International Publishing), pp. 117-138

  3. Rigid First-Order Hybrid Logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2018

  1. Identity, equality, nameability and completeness. Part II

    Bulletin of the Section of Logic, Vol. 47, Núm. 3, pp. 141-158

2017

  1. A note on Visions of Henkin

    Synthese

  2. Identity, equality, nameability and completeness*

    Bulletin of the Section of Logic, Vol. 46, Núm. 3-4, pp. 169-195

2015

  1. 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

  2. Visions of Henkin

    Synthese, Vol. 192, Núm. 7, pp. 2123-2138

2014

  1. A semantics for equational hybrid propositional type theory

    Bulletin of the Section of Logic, Vol. 43, Núm. 3-4, pp. 121-138

  2. April the 19th

    Studies in Universal Logic (Springer Nature), pp. 265-278

  3. Completeness in Hybrid Type Theory

    Journal of Philosophical Logic, Vol. 43, Núm. 2-3, pp. 209-238

  4. Completeness: From Gödel to Henkin

    History and Philosophy of Logic, Vol. 35, Núm. 1, pp. 50-75

  5. Henkin and Hybrid Logic

    Studies in Universal Logic (Springer Nature), pp. 279-306

  6. Henkin on Completeness

    Studies in Universal Logic (Springer Nature), pp. 149-175

  7. Leon Henkin

    Studies in Universal Logic (Springer Nature), pp. 3-22

  8. Preface

    Studies in Universal Logic