Gemma Robles

Some research projects I participate/participated in:

Memorión lógico: desvelando el poder del razonamiento deductivo para la memoria plateada (LE041P24), Junta de Castilla y León, Spain, 2024-2028 (principal investigator: Francisco Salto). Research team member.

Two problems still open in relevance logic: semantics for E mingle and semantics for Disjunctive Syllogism as a rule of proof (PID2020-116502GB-I00), Ministerio de Ciencia e Innovación (MCIN/AEI/ 10.13039/501100011033), Spain, 2021-2024 (principal investigator: Gemma Robles). Principal investigator.

Routley-Meyer ternary relational semantics for quasi-Boolean negations (FFI2017-82878-P), Ministerio de Economía, Industria y Competitividad, Spain, 2018-2020 (principal investigator: José M. Méndez). Research team member.

Dunn type bivalent semantics and Routley-Meyer type ternary relational semantics for natural implicative expansions of Kleene's strong three-valued matrix (FFI2014-53919-P), Ministerio de Economía y Competitividad, Spain, 2015-2017 (principal investigator: José M. Méndez). Work team member.

Weak consistency and the Routley operator (FFI2011-28494), Ministerio de Economía y Competitividad, Spain, 2012-2014 (principal investigator: José M. Méndez). Research team member.

Subminimal negations definable from different constructive forms of the laws of double negation, contraposition and reductio in relevance logics (RYC-2010-06319), Ministerio de Economía y Competitividad (Spain), Programa Ramón y Cajal, 2011-2015 (principal investigator: Gemma Robles). Principal investigator.

The basic constructive logics for four concepts of consistency in the ternary relational semantics with a set of designated points (FFI2008-05859/FISO), Ministerio de Ciencia e Innovación, Spain, 2009-2011 (principal investigator: José M. Méndez). Research team member.

Points of view. A philosophical investigation (FFI2008-01205/FISO), Ministerio de Ciencia e Innovación, 2009-2011 (principal investigator: A. Manuel Liz). Research team member.

Minimal and subminimal negations in the ternary relational semantics with a especial focus on the logics with the AP (HUM2005-05707), Ministerio de Educación y Ciencia, 2005-2008 (principal investigator: José M. Méndez). Research team member.

Minimal and subminimal negations for positive substrucural logics (BFF2001-2066), Ministerio de Ciencia y Tecnología, 2001-2004 (principal investigator: José M. Méndez). Research team member.