Buscar
Mostrando ítems 1-10 de 26
Artículo
Dynamic consequence and public announcement
(Cambridge University Press, 2013)
Artículo
Sistemas de lógica en la investigación de fundamentos
(Universidad de Sevilla, 1994)
Artículo
Abducción en modelos finitos
(Universidad Nacional Autónoma de México, 2008)
Este artículo presenta un acercamiento a la resolución de problemas abductivos en C-estructuras, estructuras que tienen un universo de discurso finito y cada uno de sus elementos es la interpretación de una constante ...
Tesis Doctoral
Ponencia
Un cálculo abductivo natural
(Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, 2004)
Artículo
Giro dinámico y lógica de la investigación científica
(Universidad de Valparaíso (Chile), 2019)
Para presentar la incidencia del giro dinámico en la lógica de la investigación científica, en este artículo comenzamos con una sección que trata de los juegos lógicos como desencadenantes de este giro dinámico en la lógica ...
Capítulo de Libro
Deducción y generación de modelos de cardinalidad finita
(Ediciones de la Universidad de Castilla la Mancha, 2006)
Presentamos un procedimiento de tablas semánticas distinto de las estándar en el tratamiento dado a las sentencias de la clase δ, proponiendo modificaciones de esta regla que eviten la generación de ramas infinitas. Las ...
Artículo
Tablas semánticas y metalógica: (El caso de la lógica de segundo orden)
(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 of view, a known result can be proved: completeness of first order logic. Can we extend this method ...
Ponencia
Tratamiento multimodal de contextos
(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 was concerned with the development of a dynamic logic of rules. Here we focus on issues of Formal ...
Artículo
Sistemas de cálculo como formas de Logicismo
(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 research about the foundations of mathematics but apparently its task arrived at its end many years ...