María Antonia Huertas Sánchez-rekin lankidetzan egindako argitalpenak (14)

2023

  1. HYBRID PARTIAL TYPE THEORY

    Journal of Symbolic Logic

2022

  1. Exorcising the phantom zone

    Information and Computation, Vol. 287

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. Completeness in Hybrid Type Theory

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

2011

  1. Hybrid type theory: a quartet in four movements

    Principia: an international journal of epistemology, Vol. 15, Núm. 2, pp. 225-247

2004

  1. A fashionable partial and heterogeneous mirror for modality

    Summa logicae en el siglo XXI [Archivo de ordenador] (Salamanca : Universidad de Salamanca, [2004)

  2. Apuntes de Lógica

    Summa logicae en el siglo XXI [Archivo de ordenador] (Salamanca : Universidad de Salamanca, [2004)

  3. Eight European Summer School in Logic, Language and Information Reader of Course: Extensions of First Order Logic

    Summa logicae en el siglo XXI [Archivo de ordenador] (Salamanca : Universidad de Salamanca, [2004)

  4. El universo matemático

    Summa logicae en el siglo XXI [Archivo de ordenador] (Salamanca : Universidad de Salamanca, [2004)

  5. Lógica modal con MAUDE (I)

    Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004

  6. Lógica modal con MAUDE (II)

    Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004

  7. Lógica para principiantes

    Alianza

  8. Un cálculo de LHP para LMP: un cálculo heterogéneo parcial para lógica modal de predicados

    Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004

1991

  1. Conversación de S5 en bivariada

    Lenguajes naturales y lenguajes formales : actas del VI congreso de lenguajes naturales y lenguajes formales : (Tarragona, 17-21 de septiembre de 1990)