Gemma Robles

Proyectos - Projects

Proyectos de investigación en los que participo/he participado como investigadora - Research projects in which I participate/have participated as a researcher

Proyectos vigentes - Current projects

Semántica relacional ternaria tipo Routley-Meyer para negaciones cuasi-booleanas (Routley-Meyer ternary relational semantics for quasi-Boolean negations). Ministerio de Economía, Industria y Competitividad (FFI2017-82878-P), 2018-2020.  Investigador principal: José Manuel Méndez Rodríguez. http://campus.usal.es/glf

 

Herramienta de evaluación y entrenamiento del razonamiento deductivo basada en el procesamiento neuronal de la complejidad lógica y sus cambios con la edad. Junta de Castilla y León (LE074U16), 2016-2018. Investigador principal: Francisco Salto Alemany.

 

Proyectos anteriores - Former projects

 

Semántica bivalente tipo Dunn y semántica relacional ternaria tipo Routley-Meyer para las expansiones implicativas naturales de la matriz fuerte trivaluada de Kleene (Dunn type bivalent semantics and Routley-Meyer type ternary relational semantics for natural implicative expansions of Kleene's strong three-valued matrix). Ministerio de Economía y Competitividad (FFI2014-53919-P), 2015-2017.  Investigador principal: José Manuel Méndez Rodríguez. http://campus.usal.es/glf

 

Negaciones submínimas definibles a partir de diferentes formas constructivas de las leyes de doble negación, contraposición y reductio en las lógicas de la relevancia (Subminimal negations definable from different constructive forms of the laws of double negation, contraposition and reductio in relevance logics). Ministerio de Economía y Competitividad, Programa Ramón y Cajal (RYC-2010-06319), 2011-2015. Investigadora principal: Gemma Robles Vázquez (this research project was associated with my Ramón y Cajal fellowship).

 

Consistencia débil y el operador Routley (Weak consistency and the Routley operator). Ministerio de Economía y Competitividad (FFI2011-28494), 2012-2014.  Investigador principal: José Manuel Méndez Rodríguez. http://campus.usal.es/glf

 

Caracterización semántica de lógicas alfabares cuantificadas: marcos canónicos, juegos, completud y aplicaciones. Junta de Castilla y León, 2009-2011. Investigador principal: Francisco Salto Alemany.

 

Las lógicas constructivas básicas para cuatro conceptos de consistencia en la semántica relacional ternaria con un conjunto de mundos designados (The basic constructive logics for four concepts of consistency in the ternary relational semantics with a set of designated points). Ministerio de Ciencia e Innovación (FFI2008-05859/FISO), 2009-2011. Investigador principal: José Manuel Méndez Rodríguez. http://campus.usal.es/glf

 

Puntos de vista. Una investigación filosófica (Points of view. A philosophical investigation). Ministerio de Ciencia e Innovación (FFI2008-01205/FISO), 2009-2011. Investigador principal: Antonio Manuel Liz Gutiérrez.

 

Negaciones mínimas y submínimas en la semántica relacional ternaria con especial atención a las lógicas con la A.P. (Minimal and subminimal negations in the ternary relational semantics with a especial focus on the logics with the AP). Ministerio de Educación y Ciencia (HUM2005-05707), 2005-2008. Investigador principal: José Manuel Méndez Rodríguez. http://campus.usal.es/glf

 

Experiencia, conceptos y racionalidad. Hacia un conceptualismo acotado (Experience, concepts and rationality. Towards a bounded conceptualism). Ministerio de Educación y Ciencia (HUM2005-03848/FISO), 2005-2008. Investigador principal: Antonio Manuel Liz Gutiérrez

 

Instrumentos semánticos de identidad numérica y sortal: marcos intensionales canónicos, teoremas de caracterización y análisis de aplicaciones. Junta de Castilla y León (LE011A05), 2005-2008. Investigador principal: Francisco Salto Alemany

 

Técnicas formales intensionales para identidad numérica con aplicaciones. Universidad de León (ULE2003-17), 2003-2005. Investigador principal: Francisco Salto Alemany.

 

Negaciones mínimas y submínimas para lógicas subestructurales positivas (Minimal and subminimal negations for positive substrucural logics). Ministerio de Ciencia y Tecnología (BFF2001-2066), 2001-2004. Entidad Investigador principal: José Manuel Méndez Rodríguez. http://campus.usal.es/glf