Proyectos de investigación - Research projects |
|
|
|
Proyectos vigentes - current projects "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. "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), 2008-2011. Investigador principal. “Caracterización semántica de lógicas alfabares cuantificadas: marcos canónicos, juegos, completud y aplicaciones”, Junta de Castilla y León (investigador principal: Francisco Salto) 2009-2011. Investigador. 2005-2008 "Negaciones mínimas y submínimas en la semántica relacional ternaria con especial atención a las lógicas con la AP" ("Minimal and subminimal negations in the ternary relational semantics with a especial focus on logics with the AP"), Ministerio de Educación y Ciencia (HUM2005-05707), 2005-2008. Investigador principal. "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), (investigador principal Francisco Salto) 2005-2008. Investigador. 2004-2006 "Implementación técnica y docente de software lógico educativo propio y su diseminación europea: el caso de la lógica de primer orden", Agencia de Calidad del Sistema Universitario de Castilla y León (UL 14/04), (investigador principal: Francisco Salto Alemany), 2005-2006. Investigador. "Convergencia y sistematización de semánticas formales en la enseñanza de la lógica elemental y avanzada", Agencia de Calidad del Sistema Universitario de Castilla y León (ACSUCYL 2004/24), (investigador principal F. Salto), 2004-06. Investigador. 2001-2004 "Negaciones mínimas y submínimas para lógicas subestructurales positivas" ("Minimal and subminimal negations for positive substructural logics"). Ministerio de Ciencia y Tecnología (BFF2001-2066), 2001-2004. Investigador principal. "Semánticas probabilísticas condicionales para lógicas implicativas subestructurales". Junta de Castilla y León (SA088/02), 2002-2005. Investigador principal. "Sistematización de semánticas formales en la enseñanza de la lógica", Junta de Castilla y León (AD60), (investigador principal F. Salto), 2004. Investigador. 1996-2000 "Materiales de lógica y sus aplicaciones", Junta de Castilla y León (JONX-10), (investigador principal F. Salto), 2000. Investigador. "Lógicas subestructurales sin contracción: restricciones a la contracción en lógicas con la conversa de la Propiedad Ackermann", DGYCIT (PB97-1319), 1997-2000. Investigador principal. "Lógicas intuicionistas y superintuicionistas con la C.A.P.", Junta de Castilla y León (AOU-9) 1996-1999. Investigador prinicipal. 1991-1994 "Lógicas superintuicionistas sin el axioma de contracción", DGICYT, 1991-1994. Investigador principal. "Automatización de la deducción en lógica", Universidad de Salamanca, 1991. Investigador principal. 1989-1990 "Aplicación del método nomológico a las Ciencias Sociales" (Investigador principal, Sebastián Álvarez Toledo), Universidad de Salamanca, 1990. Investigador. "La Forma lógica en la gramática de Chomsky: su caracterización teórica, formalización y procesamiento". (Investigador principal, Salvador Vinardell Crespo), Universidad de Salamanca, 1989. Investigador.
|