![Foto de María Antonia](/img/nophoto.png)
María Antonia
Huertas Sánchez
Publicaciones en las que colabora con María Antonia Huertas Sánchez (14)
2023
-
HYBRID PARTIAL TYPE THEORY
Journal of Symbolic Logic
2022
-
Exorcising the phantom zone
Information and Computation, Vol. 287
2014
-
A semantics for equational hybrid propositional type theory
Bulletin of the Section of Logic, Vol. 43, Núm. 3-4, pp. 121-138
-
Completeness in Hybrid Type Theory
Journal of Philosophical Logic, Vol. 43, Núm. 2-3, pp. 209-238
2011
-
Hybrid type theory: a quartet in four movements
Principia: an international journal of epistemology, Vol. 15, Núm. 2, pp. 225-247
2004
-
A fashionable partial and heterogeneous mirror for modality
Summa logicae en el siglo XXI [Archivo de ordenador] (Salamanca : Universidad de Salamanca, [2004)
-
Apuntes de Lógica
Summa logicae en el siglo XXI [Archivo de ordenador] (Salamanca : Universidad de Salamanca, [2004)
-
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)
-
El universo matemático
Summa logicae en el siglo XXI [Archivo de ordenador] (Salamanca : Universidad de Salamanca, [2004)
-
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
-
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
-
Lógica para principiantes
Alianza
-
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
-
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)