Ver Investigador - - Prisma - Unidad de Bibliometría

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 (Universidad de Sevilla)
Prog. doctorado: MATEMÁTICAS

Investiga en

Tipo Año Título Fuente
Ponencia2024 Lipschitz Determinacy and Arithmetic Transfinite Recursion Lecture Notes in Computer Science
Artículo2024 On conditional axioms and associated inference rules Axioms
Artículo2024 Semi-honest subrecursive degrees and the collection rule in arithmetic ARCHIVE FOR MATHEMATICAL LOGIC
Artículo2023 Lipschitz and Wadge binary games in second order arithmetic ANNALS OF PURE AND APPLIED LOGIC
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) / (2000)
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
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)
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)
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)
01/09/2024 31/08/2027 Investigador/a Análisis formal de Conceptos para IA (PID2023-147198NB-I00) Ministerio de Ciencia, Innovación y Universidades (Nacional)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
19/09/2012 20/09/2012 Responsable Lógica Matemática en España. Jornadas en Memoria del Profesor Alejandro Fernández Margarit. (PP2012-01-024) Universidad de Sevilla (Local)
El investigador no tiene ningún resultado de investigación asociado