Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla
Tipografías: [ A+ ] [ Normal ] [ A- ]

Ficha personal - Ángel Nepomuceno Fernández


Ángel Nepomuceno Fernández
Telefono: 95.455.78.09
Email: Solicitar correo

Grupo de Investigación: Grupo de Logica, Lenguaje e Informacion
Departamento/Unidad: Filosofía y Lógica y Filosofía de la Ciencia
Situación profesional: Catedrático de Universidad

Responsable de los siguientes proyectos/ayudas en la US:

  • Proyectos:
    • Conciencia, Lógica y Computación (FFI2011-29609-C02-01)
    • Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (P10-HUM-5844)
    • Lógica y lenguaje: ambigüedad en el discurso y elaboración del contexto (HUM2007-65053)
    • Herramientas computacionales en la implementación de estrategias lógico-lingüísticas para el tratamiento de la ambigüedad en el discurso. Ap (P06-HUM-01538)
    • Lógica y lenguaje: información y representación (HUM2004-01255)
    • Summa logicae en el siglo XXI (BFF2000-1273-C04-03)

  • Ayudas:
    • Incentivo al Grupo de Investigación HUM-609 (2011/HUM-609)
    • Incentivo al Grupo de Investigación HUM-609 (2010/HUM-609)
    • Conferencia de lógica y fundamentos de teoría de juegos y de la decisión (FFI2011-15523-E)
    • Red de Investigación, Formación y Aplicaciones de Lógica, Lenguaje y Computación (RIFALLCo) (FFI2010-10968-E)
    • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2009/HUM-609)
    • Lógica, lenguaje y la unidad de la ciencia (HP2007-0018)
    • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2006/HUM-609)
    • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2004/HUM-609)
    • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2005/HUM-609)
    • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2003/HUM-609)
    • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2002/HUM-609)
    • Seminario de Lógica, Lenguaje e Información (BFF2002-10497-E)
    • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2000/HUM-609)
    • Jornadas de Lógica y Lenguaje (JOLL2000) (PGC2000-2260-E)
    • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (1997/HUM-609)

Participa en los siguientes proyectos/ayudas en la US:

  • Proyectos:
    • La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106 - Investigador)
    • Lógica de Protocolos Incondicionalmente Seguros (P08-HUM-04159 - Investigador)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Libros
Nepomuceno Fernandez, Angel:
Lógica e Filosofia da Ciência. Lisboa. Centro de Filosofia das Ciências Universidade de Lisboa. 2009. ISBN 978-989-8247-00-1

Barceló Aspeitia,Axel Arturo, Soler Toscano, Fernando, Aliseda Llera, Atocha, Morado Estrada,Raymundo, Nepomuceno Fernandez, Angel:
Representación y Logicidad. Sevilla, España. Fenix Editorial. 2005. ISBN 84-609-7872-9

Nepomuceno Fernandez, Angel:
El Método de las Tablas Semánticas. Kronos S.A. 2004. ISBN 84-86273-75-7

Nepomuceno Fernandez, Angel:
Curso Práctico de Lógica. Sevilla, España. Kronos S.A. 2002. ISBN 84-86273-48-X

Nepomuceno Fernandez, Angel, Quesada Moreno, Jose Francisco, Salguero Lamillar, Francisco Jose:
Información: Tratamiento y Representación. Secretariado de Publicaciones. 2001. ISBN 84-472-0692-0

Nepomuceno Fernandez, Angel:
Tablas Semánticas para Lógica de Predicados de Primer Orden

Nepomuceno Fernandez, Angel, Quesada Moreno, Jose Francisco:
Logica, Lenguaje e Informacion. Actas de las Primeras Jornadas Sobre Logica y Lenguaje

Nepomuceno Fernandez, Angel:
Una Reconstrucción Formal del Sistema de Begriffschrift

Nepomuceno Fernandez, Angel:
Interpretación Estándar y no Estándar de Sistemas Logicistas

Nepomuceno Fernandez, Angel:
Lógica, Creación y Justificación en Matemáticas

Nepomuceno Fernandez, Angel:
Curriculum Vasco. Aportación de los Expertos. Lógica

Nepomuceno Fernandez, Angel:
Enseñar Lógica: Lenguaje Lógico y Árboles Semánticos

Otra participación en Libros
Salguero Lamillar, Francisco Jose (Editor), Nepomuceno Fernandez, Angel (Editor), Soler Toscano, Fernando (Editor):
Lógica, Filosofía del Lenguaje y de la Lógica. Mairena del Aljarafe, Sevilla. Mergablum. 2007. ISBN 9788496378353

Nepomuceno Fernandez, Angel (Editor), Soler Toscano, Fernando (Editor), Salguero Lamillar, Francisco Jose (Editor):
Estudios de Lógica y Lenguaje (I): Llic-S-2005-1. Sevilla, España. Mergablum. 2005. ISBN 8496378268

Nepomuceno Fernandez, Angel (Editor), Salguero Lamillar, Francisco Jose (Editor), Soler Toscano, Fernando (Editor):
Bases Biológicas, Lingüísticas, Lógicas y Computacionales para la Concepción de la Mente : Llic-S-2004-01. Mergablum Edición y Comunicación. 2004. ISBN 84-96378-04-7

Capítulos en Libros
Hernández Antón, Ignacio, Nepomuceno Fernandez, Angel, Sarrión Morillo, Enrique:
La inferencia científica relativa al contexto. Pag. 17-30. En: Ensayos sobre Lógica, Lenguaje, Mente y Ciencia. Ediciones Alfar, S.A. 2012. ISBN 9788478984626

Hernández Antón, Ignacio, Nepomuceno Fernandez, Angel:
La inferencia científica relativa al contexto. Pag. 17-30. En: Ensayos sobre Lógica, Lenguaje, Mente y Ciencia. Ediciones Alfar, S.A. 2012. 17-30. ISBN 978-84-7898-462-6

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando, Velázquez Quesada, Fernando Raymundo:
Dinámica de la información en agentes no omniscientes. Pag. 49-61. En: Ensayos sobre Lógica, Lenguaje, Mente y Ciencia. Ediciones Alfar, S.A. 2012. 17-30. ISBN 978-84-7898-462-6

Hernández Antón, Ignacio, Nepomuceno Fernandez, Angel:
Lógicas alternativas subyacentes a las prácticas científicas. Pag. 121-140. En: Lógica Universal e Unidade da Ciência. 2011. ISBN 978-989-8247-49-0

Nepomuceno Fernandez, Angel:
Corrección. Pag. 153-155. En: Compendio de Lógica, Argumentación y Retórica. 2011. ISBN 978-82-9879-191-4

Nepomuceno Fernandez, Angel:
Tablas Semánticas. Pag. 575-580. En: Compendio de Lógica, Argumentación y Retórica. 2011. ISBN 978-84-9879-191-4

Nepomuceno Fernandez, Angel:
Categoremático/Sincategoremático. Pag. 90-91. En: Compendio de Lógica, Argumentación y Retórica. 2011. ISBN 978-84-9879-191-4

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando, Aliseda Llera, Atocha:
From Classical Logic to Abductive Logical Systems. Pag. 201-212. En: Otto Neurath and the Unity of Science. Heidelberg, Alemania. Springer. 2011. ISBN 978-94-007-0142-7

Nepomuceno Fernandez, Angel, Fernandez Duque, David:
Razonamiento Explicativo en Contextos Inferenciales. Pag. 119-129. En: Estudios de Lógica, Lenguaje y Epistemología. Fénix Editora. 2010. 449. ISBN 9788461442911

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Validez y contexto inferencial. Vol. 3. Pag. 60-73. En: Identidad y diferencia. 2010. ISBN 978-607-03-0231-2

Nepomuceno Fernandez, Angel:
Concept Script and Diagrams: Two Ways of Using Images in Scientific Reasoning. Pag. 95-114. En: Studies in Diagrammatology and Diagram Praxis. Londres. College Publications. 2010

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Defining Inferential Contexts: Deduction and Abduction. Pag. 511-529. En: The Many Sides of Logic. London. College Publications. 2009. ISBN 978-1-904987-78-9

Nepomuceno Fernandez, Angel:
Tableaux for N-Logical Consequence. Pag. 299-313. En: Dimensions of Logical Concepts. Campinas. Centro de Lógica, Epistemologia e História da Ciência. Universidade de Campinas. 2009. ISBN 978-85-86497-05-6

Nepomuceno Fernandez, Angel:
Relaciones de Inferencia y el Modelo Lógico de Explicación Científica. Pag. 1-19. En: Lógica e Filosofia da Ciência. Lisboa. Centro de Filosofia das Ciências Universidade de Lisboa. 2009. ISBN 978-989-8247-00-1

Nepomuceno Fernandez, Angel:
Semánticas de Lógica de Segundo Orden. Pag. 153-174. En: Reflexiones Sobre la Paradoja de Orayen. México. Unam. 2008. ISBN 978-970-32-4700-4

Nepomuceno Fernandez, Angel:
Information and Logic. Pag. 221-232. En: Current Topics in Logic and Analytic Philosophy/Temas Actuales de Lógica y Filosofía Analítica. Santiago de Compostela, España. Servizo de Publicacións e Intercambio. Universidade de Santiago de Compostela. 2007. ISBN 978-84-9750-811-7

Nepomuceno Fernandez, Angel:
Tablas Semánticas para Lógica de Segundo Orden. Pag. 159-175. En: Lógica, Filosofía del Lenguaje y de la Lógica. Mairena del Aljarafe, Sevilla. Mergablum. 2007. ISBN 9788496378353

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel, Aliseda Llera, Atocha, Reyes Cabello,Araceli Liliana:
Razonamiento Abductivo en Modelos Finitos Mediante C-Tablas y Delta-Resolución. Pag. 699-711. En: Una Perspectiva de la Ia en su 50 Aniversario. Albacete. Ediciones de la Universidad de Castilla la Mancha. 2006. ISBN 84-689-9560-6

Nepomuceno Fernandez, Angel, Salguero Lamillar, Francisco Jose, Soler Toscano, Fernando:
Deducción y Generación de Modelos de Cardinalidad Finita. Pag. 588-599. En: Una Perspectiva de la Ia en su 50 Aniversario. Albacete. Ediciones de la Universidad de Castilla la Mancha. 2006. ISBN 84-689-9560-6

Nepomuceno Fernandez, Angel:
Razonamiento Explicativo. Pag. 149-168. En: Estudios de Lógica y Lenguaje (I): Llic-S-2005-1. Sevilla, España. Mergablum. 2005. ISBN 8496378268

Nepomuceno Fernandez, Angel:
Sistemas Lógicos. Pag. 51-84. En: Representación y Logicidad. Sevilla, España. Fenix Editorial. 2005. ISBN 84-609-7872-9

Nepomuceno Fernandez, Angel:
La Lógica y las Ciencias de la Mente. Pag. 133-161. En: Bases Biológicas, Lingüísticas, Lógicas y Computacionales para la Concepción de la Mente : Llic-S-2004-01. Mergablum Edición y Comunicación. 2004. ISBN 84-96378-04-7

Nepomuceno Fernandez, Angel:
Scientific Explanation and Modified Semantic Tableaux. Pag. 181-198. En: Logical and Computational Aspects of Model-Bases Reasoning. Dordrecht. Kluwer Academic Press. 2002. ISBN 1-4020-0712-4

Nepomuceno Fernandez, Angel:
Sistemas Logicistas e Información Modal. Pag. 477-490. En: Formal Theories and Empirical Theories. Santiago de Compostela. Universidad de Santiago de Compostela. 2001. ISBN 84-8121-960-6

Nepomuceno Fernandez, Angel:
Teoría de la Argumentación: Información y Lógica. Pag. 27-39. En: Información: Tratamiento y Representación. Secretariado de Publicaciones. 2001. ISBN 84-472-0692-0

Nepomuceno Fernandez, Angel:
Sistemas Formales. Pag. 117-144. En: Información: Tratamiento y Representación. Secretariado de Publicaciones. 2001. ISBN 84-472-0692-0

Nepomuceno Fernandez, Angel:
Un Enfocque no Monotono en Explicacion Linguistica. Pag. 217-224. En: Lógica, Lenguaje e Información / Logic, Language and Information. Sevilla,. Kronos Universidad. 2000. ISBN 84-85101-57-X

Nepomuceno Fernandez, Angel:
Logica y Filosofia del Lenguaje en la Siglo XX. Pag. 73-79. En: Estudios de Lingüistica General. Cordoba. 1998

Nepomuceno Fernandez, Angel, Salguero Lamillar, Francisco Jose:
Word Meaning,Logic and the Informative Entailment Relation. Pag. 159-170. En: Mathematical and Computational Analysis of Natural Language. Amsterdam, Holanda. John Bemjamins Publisihing Company. 1998. ISBN 90-272-1554-5

Publicaciones en Revistas
Nepomuceno Fernandez, Angel, Pérez Jiménez, Mario Jesús:
Programas Moleculares y Sistemas Lógico-formales. En: Kairós. Revista de Filosofia e Ciência. 2013. Vol. 5. Pag. 79-91

Cordon Franco, Andres, Van Ditmarsch, Hans, Nepomuceno Fernandez, Angel:
Dynamic consequence and public announcement. En: The Review of Symbolic Logic. 2013. Vol. 6. Núm. 4. Pag. 659-679

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando, Velázquez Quesada, Fernando Raymundo:
An epistemic and dynamic approach to abductive reasoning: selecting the best explanation. En: Logic journal of the IGPL (Print). 2013. Vol. 21. Núm. 6. Pag. 943-961

Velázquez Quesada, Fernando Raymundo, Soler Toscano, Fernando, Nepomuceno Fernandez, Angel:
An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution. En: Journal of Applied Logic. 2013. Vol. 11. Núm. 4. Pag. 505-522

Salguero Lamillar, Francisco Jose, Fernandez Duque, David, Nepomuceno Fernandez, Angel:
Tableaux for Structural Abduction. En: Logic journal of the IGPL (Print). 2012. Vol. 20. Núm. 2. Pag. 388-399

Soler Toscano, Fernando, Fernandez Duque, David, Nepomuceno Fernandez, Angel:
A modal framework for modelling abductive reasoning. En: Logic journal of the IGPL (Print). 2012. Vol. 20. Núm. 2. Pag. 438-444

Nepomuceno Fernandez, Angel, Pérez Jiménez, Mario Jesús:
Programas Moleculares y Sistemas Lógico-formales. En: Kairos. Revista da Filosofia e Ciencia. 2012. Vol. 5. Pag. 77-89

Nepomuceno Fernandez, Angel:
Sistematización del Descubrimiento y la Explicación: la Elaboración de una Lógica Abductiva. En: Crítica (México). 2009. Pag. 97-112

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Constructing Inferential Contexts. En: The bulletin of symbolic logic. 2009. Pag. 373-373

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel, Aliseda Llera, Atocha:
Abduction Via C-Tableaux and D-Resolution. En: Journal of applied non-classical logics. 2009. Vol. 19. Núm. 2. Pag. 211-225

Nepomuceno Fernandez, Angel:
Review/Reseña de Libro: Recensión de "Abductive Reasoning. Logical Investigations Into Discovery and Explanation. En: Boletín SLMFCE. 2009. Pag. 22-26

Nepomuceno Fernandez, Angel:
Review/Reseña de Libro: Recension de "Socrates en Viena. una Biografía Intelectual de Kurt Gödel". En: Boletín SLMFCE. 2009. Pag. 26-29

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel:
Abducción en Modelos Finitos. En: Crítica (México). 2008. Pag. 57-78

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Constructing Inferential Contexts. En: CLE e-prints (Online). 2008. Vol. 8. Núm. 6

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel:
Deducción y Abducción. En: Teorema ((Valencia)). 2008. Vol. XXVII. Núm. 1. Pag. 5-16

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Metamodelling Abduction. En: Theoria (Madrid). 2007. Pag. 285-293

Nepomuceno Fernandez, Angel:
Tablas Semánticas para Fórmulas Satisfacibles en Dominios Finitos. En: Teorema ((Valencia)). 2007. Vol. 26. Núm. 1. Pag. 5-19

Nepomuceno Fernandez, Angel, Reyes, Liliana, Aliseda Llera, Atocha:
Towards Abductive Reasoning in First-Order Logic. En: Logic journal of the IGPL (Print). 2006. Vol. 14. Núm. 2. Pag. 287-304

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel:
Tarfa: Tableaux and Resolution for Finite Abduction. En: Lecture Notes in Computer Science. 2006. Vol. 4160. Pag. 511-514

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel, Aliseda Llera, Atocha:
Model-Based Abduction Via Dual Resolution. En: Logic journal of the IGPL (Print). 2006. Vol. 14. Núm. 2. Pag. 305-319

Nepomuceno Fernandez, Angel:
Modelos de Razonamiento Abductivo. En: Contrastes. Suplemento (Málaga). 2005. Núm. 10. Pag. 155-180

Nepomuceno Fernandez, Angel:
Editorial: Presentation: the Interdisciplinary Field Off Logic, Language and Information (Lli). En: Theoria (Madrid). 2003. Vol. 18. Núm. 1. Pag. 9-15

Nepomuceno Fernandez, Angel:
Lógica Modal y Argumentación Filosófica. En: Isidorianum (Sevilla). 2002. Pag. 337-356

Nepomuceno Fernandez, Angel:
Lógica y Fundamentos en Filosofía de la Matemática. En: Mathesis. 2001. Pag. 37-49

Nepomuceno Fernandez, Angel:
Semantic Tableaux and Metalogic: the Case of Second-Order Logic. En: Crítica (México). 1999. Vol. 31. Núm. 93. Pag. 21-47

Otra participación en Libros de Actas
Nepomuceno Fernandez, Angel (Editor Literario):
Lógica, Lenguaje e Información. 2000. ISBN 84-85101-57-X. Ii+312. Editorial Kronos. Sevilla, España

Aportaciones a Congresos
Nepomuceno Fernandez, Angel:
Quantum Logc from a Dynamic Perspective. Comunicación en congreso. International Conference Philosophy of Science in the 21th Century. Challenges and Task. Lisboa. 2013

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Logic and philosophy of science: dynamic epistemic logic. Comunicación en congreso. Philosophy of Science in the 21st Century - Challenges and Tasks. Lisboa, Portugal. 2013

Sarrión Morillo, Enrique, Hernández Antón, Ignacio, Nepomuceno Fernandez, Angel:
Tratamiento multimodal de contextos. Comunicación en congreso. VII Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Santiago de Compostela. 2012

Nepomuceno Fernandez, Angel, Salguero Lamillar, Francisco Jose, Barés Gómez, Cristina:
Abduction for reconstructing protolanguages. Comunicación en congreso. Model-Based Reasoning in Science and Technology. Theoretical and Cognitive Issues. MBR¿1. Seatri Levante, Liguria, Italia. 2012

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando, Velázquez Quesada, Fernando Raymundo:
Abductive reasoning from the agent's point of view. Comunicación en congreso. Model-Based Reasoning in Science and Technology 2012. Sestri Levante, Italy. 2012

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando, Velázquez Quesada, Fernando Raymundo:
The dynamics of information in non-omniscient agents. Poster en Congreso. Loft 2012. 10th Conference on Logic and the Foundations of Game and Decision Theor. 2012

Van Ditmarsch, Hans, Nepomuceno Fernandez, Angel:
Public announcements, belief expansion and abduction. Comunicación en congreso. First International Symposium on Epistemology, Logic and Language. Lisboa. 2012

Gomez-Caminero Parejo, Emilio Francisco, Nepomuceno Fernandez, Angel:
Modified tableaux for some kinds of multimodal logics. Comunicación en congreso. First International Symposium on Epistemology, Logic and Language. Lisboa. 2012

Hernández Antón, Ignacio, Nepomuceno Fernandez, Angel:
La inferencia científica relativa al contexto. Comunicación en congreso. VI Jornadas Ibéricas - Lógica, Lenguaje, Mente y Ciencia. Facultad de Filosofía de la Universidad Complutense de Madrid. 2011

Sarrión Morillo, Enrique, Hernández Antón, Ignacio, Nepomuceno Fernandez, Angel:
La inferencia científica relativa al contexto. Conferencia Congreso no publicada. VI Jornadas Ibéricas - Lógica, Lenguaje, Mente y Ciencia. Facultad de Filosofía de la Universidad Complutense de Madrid. 2011

Van Ditmarsch, Hans, Gomez-Caminero Parejo, Emilio Francisco, Fernandez Duque, David, Nepomuceno Fernandez, Angel, Cordon Franco, Andres:
Two Mischievous Dynamic Consequence Relations. Comunicación en congreso. Ilcli International Workshop on Logic and Philosophy of Knowledge, Communication and Action. Zarautz, Spain. 2010

Nepomuceno Fernandez, Angel, Fernandez Duque, David:
Abducción Estructural. Ponencia en Congreso. IV Jornadas Ibéricas de Lógica y Filosofía de la Ciencia. 2009

Soler Toscano, Fernando, Fernandez Duque, David, Nepomuceno Fernandez, Angel:
A Modal Framework for Modelling Abductive Reasoning. Comunicación en congreso. Model-Based Reasoning in Science and Technology. Campinas, Brasil. 2009

Van Ditmarsch, Hans, Nepomuceno Fernandez, Angel:
Abducción y Revisión de Creencias. Comunicación en congreso. VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Valencia. 2009. Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 47. 51

Nepomuceno Fernandez, Angel, Aliseda Llera, Atocha, Soler Toscano, Fernando:
Searching the Unity of Science: From Classical Logic to Abductive Logical System. Comunicación en congreso. Lisbon Colloquium for the Philosophy of Science. the Unity of Science: Non Traditional Approaches. Lisboa. 2006

Nepomuceno Fernandez, Angel:
Razonar con Expresiones Ambiguas. Comunicación en congreso. Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 2006. Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 603. 606

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Logic: a Bridge Between Sciences and Humanities. Comunicación en congreso. Second International Congress on Tools for Teaching Logic. Salamanca. 2006. Proceeding of Second International Congress on Tools for Teaching Logic. 133. 136

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel, Pérez Robleda,José Antonio:
Easy Logic: an Interactive Web Interface to Theorem Provers. Comunicación en congreso. Second International Congress on Tools for Teaching Logic. Salamanca. 2006. Proceeding of Second International Congress on Tools for Teaching Logic. 201. 204

Nepomuceno Fernandez, Angel:
Tableaux for Minimal Entailment. Comunicación en congreso. World Congress on Universal Logic. Montreux, Suiza. 2005. 1st World Congress and School on Universal Logic. 85. 86

Nepomuceno Fernandez, Angel:
Caracterización Estructural de Lógicas Basicas, Lógica Clásica y Lógicas Abductivas. Comunicación en congreso. Jornada de Lógica y Lenguaje: Información y Representación. Carmona. 2004. Jornada de Lógica y Lenguaje: Información y Representación. 16. 17

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel:
Abducción y Tablas Semánticas: Algunas Extensiones. Comunicación en congreso. Sociedad de Lógica, Metodología y Filosofia de la Ciencia. Valladolid, España. 2004. 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). 396. 399

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Abducción y Razonamiento Por Defecto. Conferencia Congreso no publicada. Sociedad de Lógica, Metodología y Filosofia de la Ciencia. Valladolid, España. 2004. 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). 385. 387

Nepomuceno Fernandez, Angel:
Un Cálculo Abductivo Natural. Conferencia Congreso no publicada. Sociedad de Lógica, Metodología y Filosofia de la Ciencia. Valladolid, España. 2004. 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). 382. 385

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Concept Script: From Logic of Language to Language of Logic. Comunicación en congreso. Foundations of the Formal Sciences IV: the History of the Concept of the Formal Sciences. Rheinische Friedrich-Wilhems.universität Bonn. 2003. Fotfs IV: the History of the Concept of the Formal Sciences. 36. 36

Nepomuceno Fernandez, Angel, Aliseda Llera, Atocha:
Tableaux to Solve Abductive Problems. Comunicación en congreso. 12th International Congress of Logic, Methodology and Philosophy of Science. Oviedo, España. 2003. Volume of Abstracts. 12th International Congress of Logic, Methodology and Philosophy of Science. 75. 75

Nepomuceno Fernandez, Angel:
Information and Logic. Comunicación en congreso. Symposium in Honour of John Corcoran. Santiago de Compostela. 2003. Symposium in Honour of John Corcoran. 1. 14

Nepomuceno Fernandez, Angel:
Db-Tableaux and Abduction. Comunicación en congreso. Applications of Logic and Mathematics to Programming. Altea. 2003. Extended Abstracts of Technical Papers Presented At Applications on Logic and Mathematics to Programming. 1. 3

Nepomuceno Fernandez, Angel, Aliseda Llera, Atocha:
Abduction in First Order Semantic Tableaux. Comunicación en congreso. Causation and Explanation in Natural and Siocial Sciences. Gante (Bélgica). 2002. Proceedings of International Congress Causation and Explanations in Natural and Social Sciences. 26. 28

Nepomuceno Fernandez, Angel:
Sistemas Logicistas e Información Modal. Comunicación en congreso. Congreso Teorías Formales y Teorías Empíricas . Santiago de Compostela, España. 2001. Congreso de Teorías Formales y Teorías Empíricas: Aspectos Fundacionales, Ontosemánticos y Pragmáticos. 477. 490

Nepomuceno Fernandez, Angel, Vahi Serrano, Angel:
Logica y Significado en Frege. Comunicación en congreso. Seminario de Lógica y Lenguaje. 2000. Materiales del Seminario de Lógica y Lenguaje. 1. 1

Nepomuceno Fernandez, Angel:
Un Enfoque no Monotono de Explicacion Linguistica. Comunicación en congreso. Primeras Jornadas de Lógica y Lenguaje. Sevilla, España. 2000. Lógica, Lenguaje e Información. 217. 224

Nepomuceno Fernandez, Angel:
Teaching Logic in Philosophy. Ponencia en Congreso. International Congress on Tools for Teaching Logic. Salamanca, España. 2000. Proceedings of the First International Congress on Tools for Teaching Logic. 109. 129

Nepomuceno Fernandez, Angel:
Logica, Creacion y Justificacion de las Matematicas. Comunicación en congreso. Congreso Iberoamericano de Filosofia de la Ciencia y de la Tecnologia. Morelia, Mexico. 2000. Actas del Primer Congreso Iberoamericano de Filosofia de la Ciencia y de la Tecnologia. 230. 230

Nepomuceno Fernandez, Angel:
Second-Order Logic and Completeness Problem. Comunicación en congreso. International Congress of Logic, Methodology and Philosophy of Science. Cracovia, Polonia. 1999. Proceedings of the XI International Congress of Logic, Methodology and Philosophy of Science. 274. 274

Nepomuceno Fernandez, Angel:
Interpretacion no Estandar de la Logica de Segundo Orden. Comunicación en congreso. Congreso de la Sociedad de Logica, Metodologia y Filosofia de la Ciencia. Bellaterra, España. 1997. Actas del II Congreso de la Sociedad de Logica, Metodologia y Filosofia de la Ciencia. 486. 488

Nepomuceno Fernandez, Angel, Amores Carredano, Jose Gabriel de, Quesada Moreno, Jose Francisco:
La Linguistica Como Teoria Formal:Lenguaje,Logica y Computacion. Mesa redonda de Congreso. Simposio de Historiografía Lingüística. 1997. Historiografia Linguistica. 73. 89

Nepomuceno Fernandez, Angel, Salguero Lamillar, Francisco Jose:
Word Meaning, Logic and the Informative Entailment Relation. Comunicación en congreso. International Conference on Mathematical Linguistics. Tarragona, España. 1996. Mathematical and Computational Analysis of Natural Language. 159. 170

Salguero Lamillar, Francisco Jose, Amores Carredano, Jose Gabriel de, Nepomuceno Fernandez, Angel, Yanguas Alvarez de Toledo, Angel, Quesada Moreno, Jose Francisco:
La Lingüística Como Teoría Formal: Lenguaje, Lógica y Computación. Mesa redonda de Congreso. Simposio de Historiografía Lingüística. Granada. 1995. Actas del I Simposio de Historiografía Lingüística. 73. 89

Nepomuceno Fernandez, Angel:
Quantum Logic from a Dynamic Perspective. Comunicación en congreso

Tesis dirigidas y co-dirigidas:


(Doctorando no grabado)
Semántica formal a través de una teoría de la interpretación. Las partículas negativas la/al en ugarítico. Tesis Doctoral. 2012

(Doctorando no grabado)
Tablas semánticas para lógia epistémica. Tesis Doctoral. 2011

Soler Toscano, Fernando:
Modelos Formales de Explicación en Lógica e Inteligencia Artificial. Tesis Doctoral. 2005

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla