Research projects

Principal investigator

Research projects of which I am/was the principal investigator (PI):

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.

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.

Participant

Selected research projects in which I participate/participated:

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

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

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. PI: José M. Méndez.

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

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. PI: José M. Méndez.

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

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. PI: José M. Méndez.

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