Nepomuceno Fernández, Ángel

Institución: Departamento de Filosofía y Lógica y Filosofía de la Ciencia Universidad de Sevilla
Dirección: c/ Camilo José Cela s/n, 41018. Sevilla
Teléfonos: 954557809
Publicaciones 1
Docencia 2
Investigación 3
Conferencias 4
Alumnos 5

2009

  1. Fernando Soler Toscano, Ángel Nepomuceno Fernández, Atocha Aliseda Llera, "Abduction via C-tableaux and d-resolution". Journal of Applied Non-Classical Logics. 2009. Vol. 19(2). Pag. 211-225
  2. Ángel Nepomuceno Fernández, Fernando Soler Toscano, "Constructing inferential contexts (abstract)". The Bulletin of Symbolic Logic, vol 15(3), 2009
  3. Ángel Nepomuceno Fernández, Fernando Soler Toscano, "Defining inferential contexts: deduction and abduction". En W. A. Carnielli et al. (editores), The Many Sides of Logic. Series "Studies in Logic", College Publications, London, 2009. ISBN: 978-1-904987-78-9
  4. Olga Pombo, Ángel Nepomuceno (eds.), Lógica e Filosofia da Ciência. Centro de Filosofia das Ciências Universidade de Lisboa, 2009. ISBN, 978-989-8247-00-1
  5. “Sistematización del descubrimiento y la explicación: la elaboración de una lógica abductiva”. Crítica. Revista Hispanoamericana de Filosofía, ISSN-0011-1503 (previsto Diciembre de 2009)
  6. “Tableaux for n-logical consequence” en R. Coniglio e I. Bezieau (eds.) Dimensions on Logical Concepts (previsto Noviembre de 2009)

2008

  1. Fernando Soler Toscano, Ángel Nepomuceno Fernández, "Abducción en modelos finitos". Crítica, Revista Hispanoamericana de Filosofía. 2008. Pag. 57-78
  2. Fernando Soler Toscano, Ángel Nepomuceno Fernández, "Deducción y abducción". Teorema. Vol. XXVII. Núm. 1. 2008. Pag. 5-16
  3. Ángel Nepomuceno Fernández, Fernando Soler Toscano, "Constructing Inferential Contexts (extended abstract)". CLE e-Prints. Vol. 8. Núm. 6. 2008
  4. “Semánticas de Lógica de Segundo Orden”, en A. García de la Sienra (ed.) Reflexiones sobre la paradoja de Orayen. Instituto de Investigaciones Filosóficas de la UNAM, México, 2008. ISBN 978-970-32-4700-4, pp. 153-174

2007

  1. Ángel Nepomuceno Fernández, Fernando Soler Toscano, "Metamodelling abduction". Theoria. Vol. 22. Núm. 60. 2007. Pag. 285-293
  2. Francisco Jose Salguero Lamillar, Angel Nepomuceno Fernandez, Fernando Soler Toscano (editores), Lógica, Filosofía del Lenguaje y de la Lógica. Mergablum, Sevilla, 2007. ISBN: 9788496378353
  3. “Information and Logic”, en C. Martínez et al. (eds.) Current Topics in Logic and Analytic Philosophy. Universidad de Santiago de Compostela, ISBN 978-84-9750-811-7, pp. 221-232
  4. “Tablas semánticas para lógica de segundo orden”, en F. Salguero, A. Nepomuceno, F. Soler (eds), Lógica, Filosofía del Lenguaje y de la Lógica. Mergablum, Sevilla, 2007. ISBN: 9788496378353, pp. 159-175
  5. “Tablas semánticas satisfactibles en modelos finitos”, Teorema, vol- XXVI/1, ISSN 0210-1602, pp. 5-19

2006

  1. Fernando Soler Toscano, Ángel Nepomuceno Fernández, Atocha Aliseda Llera, "Model-based abduction via dual resolution". Logic Journal of the IGPL. Vol. 14. Núm. 2. 2006. Pag. 305-319.
  2. Fernando Soler Toscano, Ángel Nepomuceno Fernández, "Tarfa: Tableaux and resolution for finite abduction". Lecture Notes in Computer Science. Vol. 4160. 2006. Pag. 511-514.
  3. Ángel Nepomuceno Fernández, Francisco José Salguero Lamillar, Fernando Soler Toscano, "Deducción y generación de modelos de cardinalidad finita". En Una perspectiva de la IA en su 50 aniversario. Vol. 2. 2006. Pag. 588-599. ISBN: 84-689-9560-6
  4. Fernando Soler Toscano, Angel Nepomuceno Fernandez, Atocha Aliseda Llera, Araceli Liliana Reyes Cabello, "Razonamiento abductivo en modelos finitos mediante C-tablas y d-resolución." En Una perspectiva de la IA en su 50 aniversario. Vol. 2. 2006. Pag. 699-711. ISBN: 84-689-9560-6

2005

  1. Ángel Nepomuceno Fernández, Fernando Soler Toscano, Francisco José Salguero Lamillar (editores), Estudios de lógica y lenguaje. Sevilla, Mergablum. 2005. ISBN: 8496378268
  2. Ángel Nepomuceno Fernández et al., Representación y logicidad, Kronos, Sevilla, 2005, ISBN 84-688-8448-0
  3. “Modelos de razonamiento abductivo”, Contrastes, ISSN 1136-9922, pp. 155-180
  4. “Razonamiento explicativo”, en A. Nepomuceno, F. J. Salguero, F. Soler (eds.) Estudios de Lógica y Lenguaje (I), ISBN 84-96378-26-8, pp. 149-168

2004

  1. Fernando Soler Toscano, Ángel Nepomuceno Fernández, "Abducción y Tablas Semánticas: Algunas Extensiones". En Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Valladolid. 2004. Pag. 396-399. ISBN: 84-688-8448-0
  2. Ángel Nepomuceno Fernández, Francisco José Salguero Lamillar, Fernando Soler Toscano (editores), Bases biológicas, lingüísticas, lógicas y computacionales para la conceptualización de la mente. Sevilla. Mergablum. 2004. ISBN: 84-96378-04-7
  3. “La lógica y las ciencias de la mente”, en A. Nepomuceno, F. J. Salguero, F. Soler (eds.), Bases biológicas, lingüísticas, lógicas y computacionales para la conceptualización de la mente. Sevilla. Mergablum. 2004. ISBN: 84-96378-04-7, pp. 133-159
  4. “Logika”, en X. Garagorri (dir.), Euskal Curriculuma. Kultur Ibilbidea, Ikastolen Konfederazioa, ISBN 84-933872-0-7, pp. 97-105

2003

  1. El método de las tablas semánticas. Sevilla, Kronos, 2003-ISBN 84-86273-75-7
  2. Atocha Aliseda Llera, Ángel Nepomuceno Fernández, “Tableaux to Solve Abductive Problems”, Volume of Abstracts 12th International Congress of Logic, Methodology and Philosophy of Science. Editorial: Departamento de Filosofía, Universidad de Oviedo, 2003. ISBN 600-9913-X
  3. "Logica, Language and Information" (Presentatio and guest editor), Theoria, 2003, ISSN 0495-4548, pp. 9-15

The headquarter for 2017-2018 is the University of Valladolid

This master’s degree gives direct access to the interuniversity PhD programme in Logic and Philosophy of Science.

Logic and Philosophy of Science alumni

Encyclopedias, journals, learned societies , virtual libraries

Learn about the latest books published by our teachers

Master's Theses on Logic and Philosophy of Science

Get to know the coordinators of every University

Our staff

All information in one file

Our regular conferences

Our intellectual honesty decalogue

Our quality assurance system