Instituciones
Área de conocimientoAclaración de materia/profesión
Páginas webPortal Institucional (Dialnet CRIS)Identificadores de autorPeriodo de publicación recogido
|
|
|
Hybrid type theory: a quartet in four movements
Carlos Areces, Patrick Blackburn, María Antonia Huertas Sánchez, María Gracia Manzano Arjona
Principia: an international journal of epistemology, ISSN-e 1808-1711, Vol. 15, Nº. 2, 2011, págs. 225-247
María Gracia Manzano Arjona, Manuel C. Moreno
Bajo palabra. Revista de filosofía, ISSN-e 1887-505X, ISSN 1576-3935, Nº. 5, 2010, págs. 433-448
Presentación [Cuestiones de lógica actual]
María Gracia Manzano Arjona
Azafea: revista de filosofía, ISSN 0213-3563, Nº. 8, 2006 (Ejemplar dedicado a: Cuestiones de lógica actual), págs. 11-16
Vida, obra y algunos milagros de Alonzo Church
María Gracia Manzano Arjona
Agora: Papeles de filosofía, ISSN 0211-6642, Vol. 18, Nº 1, 1999, págs. 107-132
María Gracia Manzano Arjona
Arbor: Ciencia, pensamiento y cultura, ISSN 0210-1963, Nº 543, 1991, págs. 17-42
Formalización en teoría de tipos del predicado de existencia de Mario Bunge
María Gracia Manzano Arjona
Theoria: an international journal for theory, history and foundations of science, ISSN 0495-4548, Vol. 1, Nº 2, 1985, págs. 513-534
Tools for Teaching Logic transcurridos 22 años
María Gracia Manzano Arjona
Lógica, conocimiento y abducción: homenaje a Ángel Nepomuceno / coord. por Cristina Barés Gómez, Francisco José Salguero Lamillar, Fernando Soler Toscano, 2021, ISBN 9781848903586, págs. 63-82
Apuntes para una historia de la lógica en Iberoamérica en el siglo XX
Atocha Aliseda, María Gracia Manzano Arjona
Filosofía iberoamericana del siglo XX. Vol. I, Filosofía teórica e historia de la filosofía / coord. por Manuel Reyes-Mate Rupérez, Osvaldo Guariglia, León Olivé Morett, 2015, ISBN 978-84-9879-555-4, págs. 101-170
Los teoremas de completud y Leon Henkin
María Gracia Manzano Arjona
Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (SLMFCE): 18 - 21 de noviembre / coord. por Jesús Alcolea Banegas, Valeriano Iranzo García, Ana Sánchez, Jordi Valor Abad, 2009, ISBN 978-84-370-7655-3, págs. 85-89
María Gracia Manzano Arjona
Filosofía de la lógica / coord. por María José Frápolli Sanz, 2008, ISBN 978-84-309-4547-4, págs. 119-149
Enrique Alonso, María Gracia Manzano Arjona
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 / Agustín Vicente Benito (dir. congr.), Patricia de la Fuente López (dir. congr.), Cristina Corredor Lanas (dir. congr.), Juan Barba Escribá (dir. congr.), Alfredo Marcos Martínez (dir. congr.), 2004, ISBN 84-688-8448-0, págs. 471-476
Un cálculo de LHP para LMP: un cálculo heterogéneo parcial para lógica modal de predicados
María Antonia Huertas Sánchez, María Gracia Manzano Arjona, Gustavo Santos García
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 / Agustín Vicente Benito (dir. congr.), Patricia de la Fuente López (dir. congr.), Cristina Corredor Lanas (dir. congr.), Juan Barba Escribá (dir. congr.), Alfredo Marcos Martínez (dir. congr.), 2004, ISBN 84-688-8448-0, págs. 486-490
María Gracia Manzano Arjona, María Antonia Huertas Sánchez, Gustavo Santos García
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 / Agustín Vicente Benito (dir. congr.), Patricia de la Fuente López (dir. congr.), Cristina Corredor Lanas (dir. congr.), Juan Barba Escribá (dir. congr.), Alfredo Marcos Martínez (dir. congr.), 2004, ISBN 84-688-8448-0, págs. 491-495
María Gracia Manzano Arjona, María Antonia Huertas Sánchez, Gustavo Santos García
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 / Agustín Vicente Benito (dir. congr.), Patricia de la Fuente López (dir. congr.), Cristina Corredor Lanas (dir. congr.), Juan Barba Escribá (dir. congr.), Alfredo Marcos Martínez (dir. congr.), 2004, ISBN 84-688-8448-0, págs. 496-500
Alonzo Church: his life, his work and some of his miracles.
María Gracia Manzano Arjona
Summa logicae en el siglo XXI [Archivo de ordenador] / María Gracia Manzano Arjona (aut.), 2004, ISBN 84-7800-627-3
A fashionable partial and heterogeneous mirror for modality
María Gracia Manzano Arjona, María Antonia Huertas Sánchez
Summa logicae en el siglo XXI [Archivo de ordenador] / María Gracia Manzano Arjona (aut.), 2004, ISBN 84-7800-627-3
La Bella y la Bestia (perdón, Lógica e Informática)
María Gracia Manzano Arjona
Summa logicae en el siglo XXI [Archivo de ordenador] / María Gracia Manzano Arjona (aut.), 2004, ISBN 84-7800-627-3
Eight European Summer School in Logic, Language and Information Reader of Course: Extensions of First Order Logic
María Gracia Manzano Arjona, María Antonia Huertas Sánchez
Summa logicae en el siglo XXI [Archivo de ordenador] / María Gracia Manzano Arjona (aut.), 2004, ISBN 84-7800-627-3
María Antonia Huertas Sánchez, María Gracia Manzano Arjona
Summa logicae en el siglo XXI [Archivo de ordenador] / María Gracia Manzano Arjona (aut.), 2004, ISBN 84-7800-627-3
María Gracia Manzano Arjona, Ian Hodkinson, María Antonia Huertas Sánchez
Summa logicae en el siglo XXI [Archivo de ordenador] / María Gracia Manzano Arjona (aut.), 2004, ISBN 84-7800-627-3
La gallina de los huevos de oro: (capacidad expresiva, metateoría de conjuntos e incompletud)
María Gracia Manzano Arjona
Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] / Eugenio de Bustos Tovar (dir. congr.), Javier Echeverría Ezponda (dir. congr.), Eulalia Pérez Sedeño (dir. congr.), María Isabel Sánchez Balmaseda (dir. congr.), 1997, ISBN 84-604-8342-8, págs. 90-93
Mapas de Instituciones: de la lógica modal s4 a la lógica heterogénea
Manuel Clavel, María Gracia Manzano Arjona
Actas del II Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Bellaterra 6-8 de febrero de 1997] / coord. por Anna Estany Profitós, J. Daniel Quesada Casajuana, 1997, ISBN 84-600-9372-7, págs. 473-477
Modal representation in Henkin's non-standard second order logic
María Gracia Manzano Arjona
The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995 / coord. por Joaquín Borrego Díaz, Francisco José Salguero Lamillar, 1997, ISBN 84-88620-08-X, págs. 87-96
La lógica multivariada: matadora de lógicas
María Gracia Manzano Arjona
Perspectivas actuales de lógica y filosofía de la ciencia / Juan Carlos García-Bermejo Ochoa (ed. lit.), Andrés Rivadulla Rodríguez (ed. lit.), J. Urrutia (ed. lit.), José Luis Zofío Prieto (ed. lit.), Eduardo Bustos (ed. lit.), Eulalia Pérez Sedeño (ed. lit.), 1994, ISBN 84-323-0857-9, págs. 169-192
María Gracia Manzano Arjona
Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992) / coord. por Carlos Martín Vide, 1992, ISBN 84-477-0002-X, págs. 67-80
Conversación de S5 en bivariada
María Antonia Huertas Sánchez, María Gracia Manzano Arjona
Lenguajes naturales y lenguajes formales : actas del VI congreso de lenguajes naturales y lenguajes formales : (Tarragona, 17-21 de septiembre de 1990) / coord. por Carlos Martín Vide, Vol. 2, 1991, ISBN 84-7665-867-2, págs. 683-698
Aspectos de la investigación en Lógica en España, hoy
Ignacio Jané Palau, Javier Echeverría Ezponda, J. Daniel Quesada Casajuana, R. Beneyto, Josep Maria Font i Llobet, Antoni Sales Porta, Josep Pla i Carrera, Carlos Sierra García, José Cuena Bartolomé, María Gracia Manzano Arjona, Buenaventura Verdú i Solans, José Manuel Méndez Rodríguez
Lenguajes naturales y lenguajes formales : actas del III congreso de lenguajes naturales y lenguajes formales : (Sitges-Barcelona, 28 de septiembre-2 de octubre de 1987) / coord. por Carlos Martín Vide, Vol. 1, 1987, ISBN 84-7665-316-6, págs. 271-282
El nuevo traje del emperador: de cómo la sofisticada lógica modal no lucía más que modelos clásicos de primer orden
María Gracia Manzano Arjona
Simposio Hispano-Mexicano de Filosofía: Salamanca, Octubre 1984 / Sebastián Álvarez Toledo (comp.), Fernando Broncano (comp.), Miguel Ángel Quintanilla Fisac (comp.), Vol. 2, 1986 (Lógica y filosofía del lenguaje), ISBN 84-7481-386-7, págs. 35-51
María Gracia Manzano Arjona
Estudios de lógica y filosofía de la ciencia / coord. por Miguel Ángel Quintanilla Fisac, 1982, ISBN 84-7481-208-9, págs. 65-100
María Gracia Manzano Arjona
Lógica, epistemología y teoría de la ciencia: seminario de profesorado universitario, 1981, ISBN 84-369-0914-3, págs. 19-33
María Gracia Manzano Arjona, María Antonia Huertas Sánchez
Alianza, 2004. ISBN 978-84-206-4570-4
Ha sido reseñado en:
Manual de lógica: María Manzano y Antonia Huertas, Lógica para Principiantes, Filosofía y Pensamiento, Alianza editorial, Madrid, 2004.
Laguna: Revista de Filosofía, ISSN 1132-8177, Nº 15, 2004, págs. 227-228
Summa logicae en el siglo XXI [Archivo de ordenador]
María Gracia Manzano Arjona (aut.)
Salamanca : Universidad de Salamanca, [2004. ISBN 84-7800-627-3
First International Congress on Tools for Teaching Logic: proceedings : University of Salamanca, June 2000
María Gracia Manzano Arjona (comp.)
Universidad de Salamanca, 2000
María Gracia Manzano Arjona
Oxford University Press, Clarendon Press, 1999. ISBN 0198538510
Extensions of first order logic
María Gracia Manzano Arjona
Cambridge University Press, 1996. ISBN 0521354358
María Gracia Manzano Arjona
Alianza, 1989. ISBN 84-206-8126-1
María Gracia Manzano Arjona
Fundación Juan March, 1978. ISBN 84-7075-092-5
Modelos generales de la logica de segundo orden
María Gracia Manzano Arjona
Tesis doctoral dirigida por Jesús Mosterín (dir. tes.). Universitat de Barcelona (1978).
Tesis doctoral dirigida por María Gracia Manzano Arjona (dir. tes.), Andrei Moldovan (codir. tes.). Universidad de Salamanca (2023).
Intensions, types and existence
Tesis doctoral dirigida por María Gracia Manzano Arjona (dir. tes.). Universidad de Salamanca (2017).
Tesis doctoral dirigida por José Ferreirós Domínguez (dir. tes.), María Gracia Manzano Arjona (codir. tes.). Universidad de Salamanca (2017).
Capacidades de los sistemas lógicos formales: El caso de algunos sistemas lógicos clásicos y de lógica libre
Tesis doctoral dirigida por Atocha Aliseda (dir. tes.), María Gracia Manzano Arjona (dir. tes.). Universidad de Salamanca (2015).
Non classical systems for uncertain reasoning: non monotonic logics with non classical bases
Tesis doctoral dirigida por María Gracia Manzano Arjona (dir. tes.), Lluis Godo Lacasa (dir. tes.). Universidad de Salamanca (2006).
Modal logic (of predicates) and (partial and heterogeneous) non-classical logic
Tesis doctoral dirigida por María Gracia Manzano Arjona (dir. tes.). Universitat de Barcelona (1994).
Una perspectiva de la inteligencia artificial en su 50 aniversario: Campus Multidisciplinar en Percepción e Inteligencia, CMPI 2006, Albacete, España, 10-14 de Julio del 2006 : actas
coord. por Antonio Fernández Caballero, María Gracia Manzano Arjona, Enrique Alonso, Sergio Miguel Tomé
Universidad de Castilla-La Mancha, 2006. ISBN 84-689-9560-6
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados