Wikipedia

María Manzano Arjona

matemática española

María Gracia Manzano Arjona (1950, Archidona) ye caderalga de Lóxica y Filosofía de la ciencia na Universidá de Salamanca. Becaria Fullbright senior el cursu 1977-1978, en Berkeley, y profesor visitante na Universidá de Stanford.

María Manzano Arjona
Vida
Nacimientu Archidona[1], 1950 (73/74 años)
Nacionalidá España
Estudios
Estudios Universidá de Barcelona
Direutor de tesis Jesús Mosterín
Llingües falaes castellanu
Oficiu lóxica, matemática, filósofa
Emplegadores Universidá de Salamanca
Cambiar los datos en Wikidata
Mara impartiendo una clase

Amás, foi la coordinadora del Máster en Lóxica y Filosofía de la ciencia[2] na Universidá de Salamanca.[3]

Obres editar

Autora de múltiples publicaciones, tantu de llibros, como capítulos de llibru o artículos, toos venceyaos cola área de Lóxica. Dalgunes de les sos publicaciones son:

Dellos llibros

  • The Life and Work of Leon Henkin: Essays on His Contributions. Manzano, M., Sain, I., Alonso, Y. (eds) Springer. 2014.
  • Lóxica, Lóxiques y Logicidad. College Publications. London [en preparación].
  • Extensions of First-Order Logic. Cambridge University Press. Cambridge: O.K., 2005 (paperback).
  • Lóxica pa primerices, con Antonia Huertas. Alianza Editorial, S.A. Madrid, España, 2004, 2005 y 2006.
  • Model Theory. Oxford University Press. Oxford: O.K., 1999.
  • Teoría de Modelos. Alianza Editorial, S.A. Madrid, España, 1989 (escosu).
  • Teoría de Tipos. Ediciones Universidad de Barcelona Barcelona, España, 1980.
  • Sistemes Entemedios. Fundación Juan March: Serie Universitaria. Madrid, España, 1978.

Dellos artículos y capítulos de llibros

  • “A Semantics for Equational Hybrid Propositional Type Theory”. [2014]. con Martins, M. y Huertas, A. Bulletin of the Section of Logic. Łódź University Press. 43:3/4 Páxines 121-138
  • “Visions of Henkin”. [2014], con Alonso, Y. Synthese. Editorial: Springer. (DOI) 10.1007/s11229-013-0389-7
  • “Completeness of Hybrid Type Theory”. [2014], con Areces, C. Blackburn, P. y Huertas, A. doi.org/10.1007/s10992-012-9260-4. Journal of Philosophical Logic. Editorial: Springer.
  • “Completeness: from Gödel to Henkin”. [2013], con Alonso, Y. DOI: 10.1080/01445340.2013.816555. History and Philosophy of Logic. Editorial: Taylor and Francis.London. O.K.
  • “Hybrid Type Theory, A Quarted in Four Movements”, con Areces, C. y Blackburn, P. Huertas. Principia: an international journal of epistemology, ISSN 1808-1711, Vol. 15, Nᵘ 2, 2011 , páxs. 225-247
  • “Argumentos ontolóxicos” [2010], con Moreno, M.C. SO PALLABRA. Revista de Filosofía. II Dómina, nᵘ 5 ISSN 1576-3935 (2010: 433-448)
  • “Logic and Fiction”. Henrique Jales Ribeiro (Ed.) [2012]. Inside Arguments: Logic and the Study of Argumentation. Newcastle upon Tyne(UK): Cambridge Scholars Publishing. ISBN (10): 1-4438-3880-2, ISBN (13): 978-1-4438-3880-1
  • "Lóxica d'orde cimeru" [2008], en Filosofía de la Lóxica. María José Frápolli, editora. Tecnos. Madrid. España.
  • "Teoría de Modelos" [2010] en Diccionariu de Lóxica, Argumentación y Retórica. Luis Vega Reñón, editor. Editorial Trotta.
  • "Magical Diagonalisation", con Enrique Alonso [2009]. En Dimensions of Logical Concepts. J.-Y. Béziau and A. Mariña-Leite, eds. Coleção CLE, v.54, UNICAMP.
  • "Llión Henkin", con Enrique Alonso [2007], en Lóxica, Filosofía del Llinguaxe y de la Lóxica. A. Nepomuceno, F. J. Salguero, F. Soler editores. Mergablum. Sevilla.
  • "Razonamientu formal" [2006], en 50 años de la Intelixencia Artificial. Antonio Fernández Caballero y Sergio Miguel Tomé eds. Albacete: España.
  • "Diagonalization and Church's Thesis: Kleene's Homework", con Enrique Alonso. [2005] HPL (History and Philosophy of Logic) Taylor & Francis. O.K.
  • "Introduction to Many-sorted logic" en Many Sorted Logic and its Applications. Tucker and Meinke eds. John Wiley and Sons. Chichester: O.K.
  • "Diverxencia y rivalidá ente lóxiques". En Enciclopedia Iberoamericana de Filosofía. Volume 27 de Filosofía de la Lóxica. Raúl Orayen y Alberto Moretti eds. Trotta. España.
  • Editorial "Tools for Teaching Logic" con Hans van Ditmarsch, en Special issue Logic Journal of the IGPL. Oxford University Press
  • "¿Qué ye esa cosa llamada lóxica?”. En Representación y logicidad. A. Nepomuceno ed. Fénix Editora. Sevilla.
  • "A fashionable Partial and Heterogeneous mirror for Modality", con Antonia Huertas en JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthay. Jelle Gerbrandy et alt eds. Amsterdam University Press. Amsterdam
  • "The Little Mermaid" [1998], en Truth in Perspective. Concepción Martinez, et alt, eds. Ashgate. Aldershot (O.K).
  • "Descriptive Dynamic Logic and and its Applications to Reflective Architectures” [1998], con Sierra, L. Godu, R. Lopez de Mantaras. In: Handbook of Fuzzy Computation. Oxford University Press, *

"Life, Work and some Miracles of Alonzo Church" [1997] En The Journal of History and Philosophy of Logic. Taylor and Francis.London. O.K.

Referencies editar

  1. ↑ URL de la referencia: https://gadeaciencia.org/teams-tag/maria-manzano-arjona/. Data de consulta: 3 mayu 2019.
  2. ↑ https://web.archive.org/web/20130614021327/http://logicae.usal.es/drupal/?q=pagina%2Fprincipal
  3. ↑ http://www.usal.es/webusal/

Enllaces esternos editar

 
Sacáu de «https://ast.wikipedia.org/w/index.php?title=María_Manzano_Arjona&oldid=3836557»