Francisco Félix Lara Martín

Profesor Titular de Universidad
fflara@us.es
Área de conocimiento: Ciencia de la Computación e Inteligencia Artificial
Departamento: Ciencias de la Computación e Inteligencia Artificial
Grupo: LOGICA, COMPUTACION E INGENIERIA DEL CONOCIMIENTO (TIC-137)
Prog. doctorado: Programa de Doctorado en Matemáticas (RD. 99/2011)
Tipo Año Título Fuente
Artículo2017 PREDICATIVITY THROUGH TRANSFINITE REFLECTION JOURNAL OF SYMBOLIC LOGIC
Artículo2016 EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC JOURNAL OF SYMBOLIC LOGIC
Artículo2014 Local induction and provably total computable functions ANNALS OF PURE AND APPLIED LOGIC
Artículo2014 On axiom schemes for T-provably formulas ARCHIVE FOR MATHEMATICAL LOGIC
Artículo2013 ON THE OPTIMALITY OF CONSERVATION RESULTS FOR LOCAL REFLECTION IN ARITHMETIC JOURNAL OF SYMBOLIC LOGIC
Ponencia2012 Local induction and provably total computable functions: A case study Lecture Notes in Computer Science
Artículo2011 A note on parameter free Pi(1)-induction and restricted exponentiation MATHEMATICAL LOGIC QUARTERLY
Artículo2009 Existentially Closed Models and Conservation Results in Bounded Arithmetic JOURNAL OF LOGIC AND COMPUTATION
Libro2008 JAF 26 JAF 26
Artículo2007 A note on Sigma(1)-maximal models JOURNAL OF SYMBOLIC LOGIC
Ponencia2007 On rules and parameter free systems in bounded arithmetic COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS
Artículo2006 Envelopes, indicators and conservativeness MATHEMATICAL LOGIC QUARTERLY
Artículo2005 Fragments of Arithmetic and true sentences MATHEMATICAL LOGIC QUARTERLY
Artículo2004 Induction, minimization and collection for Delta(n)+(1)(T)-formulas ARCHIVE FOR MATHEMATICAL LOGIC
Artículo2004 On the quantifier complexity of Delta(n+1)(T)-induction ARCHIVE FOR MATHEMATICAL LOGIC
Artículo2004 Provably total primitive recursive functions: Theories with induction COMPUTER SCIENCE LOGIC, PROCEEDINGS
Capítulo2001 Funciones recursivas y fragmentos de la aritmética Actas del Encuentro de Matemáticos Andaluces
Artículo2001 Some results on LΔ-n+1 MATHEMATICAL LOGIC QUARTERLY
Inducción y recursión las teorías IDelta n+1(T) / (1999)
Dirigida por: Fernández Margarit, Alejandro

Este investigador no ha dirigido/tutorizado tesis

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
15/03/2011 30/04/2016 Investigador/a Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (P10-HUM-5844) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
15/03/2011 14/09/2015 Investigador/a Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (P10-TIC-6064) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/01/2009 31/12/2011 Responsable Modelos de la aritmética y álgebras de funciones computables (MTM2008-06435) Ministerio de Educación y Ciencia (Nacional)
31/12/2005 31/12/2008 Investigador/a Modelos de la aritmética y clasificación de funciones computables (MTM2005-08658) Ministerio de Educación y Ciencia (Nacional)
El investigador no tiene ningún resultado de investigación asociado