Research projects

Projects in which I participate:

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,  Spain. 2021-2024. Research team member. Principal investigator: Gemma Robles.

Projects of which I was the principal investigator:

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

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. 

Weak consistency and the Routley operator (FFI2011-28494), Ministerio de Economía y Competitividad, Spain, 2012-2014.

The basic constructive logics for four concepts of consistency in the ternary relational semantics with a set of designated points (FFI2008-05859), Ministerio de Ciencia e Innovación, Spain, 2008-2011.

Minimal and subminimal negations in the ternary relational semantics with a especial focus on logics with the AP (HUM2005-05707), Ministerio de Educación y Ciencia, Spain, 2005-2008.

Minimal and subminimal negations for positive substructural logics (BFF2001-2066).  Ministerio de Ciencia y Tecnología, Spain, 2001-2004.

Semánticas probabilísticas condicionales para lógicas implicativas subestructurales (SA088/02), Junta de Castilla y León , Spain, 2002-2005.

Lógicas subestructurales sin contracción: restricciones a la contracción en lógicas con la conversa de la Propiedad Ackermann (PB97-1319), DGYCIT,  Spain, 1997-2000. 

Lógicas intuicionistas y superintuicionistas con la C.A.P.  (AOU-9), Junta de Castilla y León, Spain, 1996-1999.

Lógicas superintuicionistas sin el axioma de contracción. DGICYT, 1991-1994.

Automatización de la deducción en lógica. Universidad de Salamanca, 1991.