- idUS
- Listar por autor
Listar por autor "Nepomuceno Fernández, Ángel"
Mostrando ítems 21-37 de 37
-
Artículo
Metamodeling abduction
Nepomuceno Fernández, Ángel; Soler Toscano, Fernando (Universidad del País Vasco, 2007)Abduction can be intended as a special kind of deductive consequence. In fact a general trend is to consider it as a ...
-
Artículo
Modelos de razonamiento abductivo
Nepomuceno Fernández, Ángel (Universidad de Málaga, 2005) -
Tesis Doctoral
Modelos formales de explicación en Lógica e inteligencia artificial
Soler Toscano, Fernando (2005)La abducción es el tipo de razonamiento en que, dada una teoría T (habitualmente un conjunto de fórmulas del lenguaje con ...
-
Tesis Doctoral
Negotiating with logical-linguistic protocols in a dialogical framework.
Martínez-Cazalla, Maria Dolors (2017-09-29)EN EL SIGUIENTE ENLACE (https://idus.us.es/handle/11441/94042) ENCONTRARÁ DISPONIBLE EL MANUSCRITO DEL LIBRO CUYO CONTENIDO ...
-
Artículo
Nociones logicistas en filosofía de la matemática
Nepomuceno Fernández, Ángel (Universidad Nacional Autónoma de México, 1993)The point of view according to which logic has priority over mathematics has been maintained by some philosophers and ...
-
Artículo
Programas moleculares y sistemas lógico-formales
Nepomuceno Fernández, Ángel; Pérez Jiménez, Mario de Jesús (De Gruyter, 2012)Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un modelo de computación ...
-
Capítulo de Libro
Semántica dinámica y la Teoría de la Representación del Discurso
Salguero Lamillar, Francisco J. (Universidad de Sevilla, Secretariado de Publicaciones, 2001) -
Tesis Doctoral
Semántica formal a través de una teoría de la interpretación. Las partículas negativas lāpal en Ugarítico
Barés Gómez, Cristina (2012-12-17)El tema fundamental de esta tesis doctoral es el análisis y la propuesta de una semántica formal para las partículas ...
-
Artículo
Sistemas de cálculo como formas de Logicismo
Nepomuceno Fernández, Ángel (Universidad Nacional Autónoma de México, 1993)The logicism may be regarded like a fossil stone that has not utility nowadays. In this sense, logicism took care of the ...
-
Artículo
Sistemas de lógica en la investigación de fundamentos
Nepomuceno Fernández, Ángel (Universidad de Sevilla, 1994) -
Artículo
Sistematización del descubrimiento y la explicación: La elaboración de una lógica abductiva: [Reseña de Abductive reasoning: Logical investigations into discovery and explanation, de Atocha Aliseda]
Nepomuceno Fernández, Ángel (Universidad Nacional Autónoma de México, 2009) -
Ponencia
Sobre constructivismo y lógica epistémica dinámica
Guallart Forés, Nino; Nepomuceno Fernández, Ángel (Universitat de Barcelona, 2015) -
Tesis Doctoral
Tablas semánticas para lógica epistémica
Gómez-Caminero Parejo, Emilio Francisco (2011)El término lógica epistémica puede ser entendido en dos sentidos. En el sentido más amplio, incluye el análisis tanto del ...
-
Artículo
Tablas semánticas y metalógica: (El caso de la lógica de segundo orden)
Nepomuceno Fernández, Ángel (Universidad Autónoma Nacional de México, 1999-12)Beth's method of semantic tableaux has been utilized in first order logic to obtain some results. From a metalogical point ...
-
Capítulo de Libro
Teoría de la argumentación : Información y lógica
Nepomuceno Fernández, Ángel (Universidad de Sevilla, 2001) -
Capítulo de Libro
Teoría general de los signos y del significado
Salguero Lamillar, Francisco J. (Universidad de Sevilla, Secretariado de Publicaciones, 2001) -
Ponencia
Tratamiento multimodal de contextos
Sarrión Morillo, Enrique; Hernández Antón, Ignacio; Nepomuceno Fernández, Ángel (Universidad de Santiago de Compostela, Servizo de Publicacións e Intercambio Científico, 2012)We take as starting point the context logic studied in (Grossi, Meyer, and Dignum 2008) and (Aucher et al. 2009), which ...