Research projects

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 (principal investigator: Gemma Robles). Research team member. 

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). 

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). 

Weak consistency and the Routley operator (FFI2011-28494), Ministerio de Economía y Competitividad, Spain, 2012-2014 (principal investigator: 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), Ministerio de Ciencia e Innovación, Spain, 2008-2011 (principal investigator: José M. Méndez).

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 (principal investigator: José M. Méndez).

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

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

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 (principal investigator: José M. Méndez).  

Lógicas intuicionistas y superintuicionistas con la C.A.P (AOU-9), Junta de Castilla y León, Spain, 1996-1999 (principal investigator: José M. Méndez). 

Lógicas superintuicionistas sin el axioma de contracción, DGICYT, Spain, 1991-1994 (principal investigator: José M. Méndez). 

Automatización de la deducción en lógica, Universidad de Salamanca, Spain, 1991 (principal investigator: José M. Méndez).