GLF Grupo de investigación en Lógica Filosófica

Novedades:

Nuevos artículos publicados

English

Última actualización: 2 de abril, 2012

El GLF (Grupo de Investigación en Lógica Filosófica) lo formamos, desde el año 2001, José M. Méndez (Catedrático de Lógica de la Universidad de Salamanca), Gemma Robles (Investigadora Ramón y Cajal en la Universidad de León) y Francisco Salto (Profesor titular de Lógica de la Universidad de León).

Trabajamos en Lógica Filosófica. En la actualidad estudiamos el significado del término "implicación" en lógicas muy débiles y del término "negación" entendido en sentido constructivo, temas a los que están dedicados nuestros proyectos de investigación, tanto el actual como los anteriores.

Los resultados (publicaciones, comunicaciones, etc.) conseguidos en cada uno de nuestros proyectos pueden consultarse en nuestro Archivo.

2008-2011:

Las lógicas constructivas básicas para cuatro conceptos de consistencia en la semántica relacional ternaria con un conjunto de mundos designados. (FFI2008-05859, MICINN)

2005-2008:

Negaciones mínimas y submínimas en la semántica relacional ternaria con especial atención a las lógicas con la A.P. (HUM2008-05707, MEC)

Proyecto de investigación actual (2012-2014):

"Consistencia débil y el operador Routley" (FFI2011-28494, Ministerio de Economía y Competitividad):