» Investigación » SISIUS - Investigación en la USE

Francisco Félix Lara Martín
Telefono: 95.455.70.06
Email: Solicitar correo
Perfil en ORCID: 0000-0002-4897-1442
Perfil en Scopus: 6506210671
Perfil en Dialnet: 2654355

Grupo de Investigación: Logica, Computacion e Ingenieria del Conocimiento
Departamento/Unidad: Ciencias de la Computación e Inteligencia Artificial
Situación profesional: Profesor Titular de Universidad

Responsable de los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Modelos de la aritmética y álgebras de funciones computables (MTM2008-06435)
  
  
• Ayuda a la investigación:
  • Lógica Matemática en España. Jornadas en Memoria del Profesor Alejandro Fernández Margarit. (PP2012-01-024)
  
  

Participa en los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (P10-HUM-5844 - Investigador)
  • Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (P10-TIC-6064 - Investigador)
  • Modelos de la aritmética y clasificación de funciones computables (MTM2005-08658 - Investigador)
  
  
• Ayuda a la investigación:
  • Incentivo al Grupo de Investigación TIC-137 (2017/TIC-137 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2007/TIC-137 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2006/TIC-137 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2005/TIC-137 - Investigador)
  
  

Cobertura de la base de datos de proyectos, véase aqui

Publicaciones:

Capítulos en Libros

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
On Conservation Results for Parameter Free ΠN-Induction. Pag. 49-97. En: Studies in Weak Arithmetics. Standford, Estados Unidos. Csli Publications. 2009. ISBN 978-1-57586-602-4

Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Some Results on $\delta_n(T)$-Induction. Pag. 43-73. En: The Bulletin of the Workshop on Model Theory and Complexity. Editorial Kronos. 1997. ISBN 84-88620-08-X

Arrabal Parrilla, Juan Jose, Balbontin Noval, Delia, Alonso Jimenez, Jose Antonio, Lara Martin, Francisco Felix, Martín Mateos, Francisco Jesús, et. al.:
Gti: una Herramienta de Edición de Cursos Adaptativos. Pag. 627-634. En: Actas del XIII Congreso Nacional de Ingeniería de Proyectos. Antonio F. Martin Navarro. 1997. ISBN 84-88783-30-2

Publicaciones en Revistas

Cordon Franco, Andres, Fernandez Duque, David, Joosten, Joost Johannes, Lara Martin, Francisco Felix:
Predicativity through transfinite recursion. En: The Journal of Symbolic Logic. 2017. Vol. 82. Núm. 3. Pag. 787-808

Adamowicz, Zofia, Cordon Franco, Andres, Lara Martin, Francisco Felix:
Existentially closed models in the framework of arithmetic. En: The Journal of Symbolic Logic. 2016. Vol. 81. Núm. 2. Pag. 744-788

Cordon Franco, Andres, Fernández Margarit, Alejandro, Lara Martin, Francisco Felix:
A Note on Parameter Free $\Pi_1$-Induction and Restricted Exponentiation. En: Mathematical Logic Quarterly. 2011. Vol. 57. Núm. 5. Pag. 444-455. 10.1002/malq.201010013

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Existentially Closed Models and Conservation Results in Bounded Arithmetic. En: Journal of Logic and Computation. 2009. Vol. 19. Núm. 1. Pag. 123-143

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
A Note on Sigma(1)-Maximal Models. En: The Journal of Symbolic Logic. 2007. Vol. 72. Núm. 3. Pag. 1072-1078

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
On Rules and Parameter Free Systems in Bounded Arithmetic. En: Lecture Notes in Computer Science. 2007. Vol. 4497. Pag. 179-188

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Envelopes, Indicators and Conservativeness. En: Mathematical Logic Quarterly. 2006. Vol. 52. Núm. 1. Pag. 51-70

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Fragments of Arithmetic and True Sentences. En: Mathematical Logic Quarterly. 2005. Vol. 51. Núm. 3. Pag. 313-328

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
On the Quantifier Complexity of Delta(N+1)(T)-Induction. En: Archive for Mathematical Logic. 2004. Vol. 43. Núm. 3. Pag. 371-398

Lara Martin, Francisco Felix, Fernandez Margarit, Alejandro:
Induction, Minimization and Collection for Delta(N)+(1)(T)-Formulas. En: Archive for Mathematical Logic. 2004. Vol. 43. Núm. 4. Pag. 505-541

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Provably Total Primitive Recursive Functions: Theories With Induction. En: Lecture Notes in Computer Science. 2004. Vol. 3210. Pag. 355-369

Aportaciones a Congresos

Cordon Franco, Andres, Lara Martin, Francisco Felix, Loureiro, Manuel:
On determinacy of Lipschitz and Wadge games in second order arithmetic. Comunicación en congreso. Logic Colloquium - European Summer Meeting of the Association for Symbolic Logic. Poznan, -, POLONIA. 2021

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Local Versions of the Kreisel-Levy Theorem. Comunicación en congreso. Jaf, Journées sur Les Arithmètiques Faibles/Weak Arithmetics Days. Varsovia (Polonia). 2010

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
On Conservation Results for Conditional Axioms Schemes in First Order Arithmetic. Comunicación en congreso. Logic Colloquium 2010. Paris (Francia). 2010

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Parameter Free $\pi_1$ Induction and Restricted Exponentiation. Comunicación en congreso. Jaf, Journées sur Les Arithmétiques Faibles/Weak Arithmetics Days. Fontainebleau, Francia. 2009

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
A Model-Theoretic Approach to Parameter Free $\pi_2$ Induction. Comunicación en congreso. Jaf, Journées sur Les Arithmétiques Faibles/Weak Arithmetics Days. Fontainebleau, Francia. 2009

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
On Rules and Parameter Free Systems in Bounded Arithmetic. Comunicación en congreso. Computability in Europe, CIE 2007. Siena, Italia. 2007. Computation and Logic in the Real World. 179. 188

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
On Axiom Schemes for ∆N+1(T)-Formulas. Comunicación en congreso. 24e Journées D¿Arithmétiques Faibles. Fontainebleau. 2005. Le Bulletin de L'association Française Pour L¿Intelligence Artificielle. 50. 52

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Provably Total Primitive Recursive Functions: Theories With Induction. Comunicación en congreso. Annual Conference of the Eacsl. Karpacz (Poland). 2004. Computer Science Logic. 355. 369

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Provably Total Primitive Recursive Functions. Comunicación en congreso. Journées sur Les Arithmetiques Faibles/Weak Arithmetics Days. Nápoles, Italia. 2003

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Parameter Free Induction and True Sentences. Comunicación en congreso. International Congress of Logic, Methodology and Philosophy of Science. Oviedo (España). 2003. 12th International Congress of Logic, Methodology and Philosophy of Science. 63. 64

Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Funciones Recursivas y Fragmentos de la Aritmética. Comunicación en congreso. Encuentro de Matemáticos Andaluces. Santander (ESPAÑA). 2000. Actas del I Encuentro de Matemáticos Andaluces. 429. 436

Lara Martin, Francisco Felix, Fernandez Margarit, Alejandro:
A Hierrachy for $\delta_{n+1}(T)$-Induction. Comunicación en congreso. Kurt Gödel Colloquium. 1999. Collegium Logicum. 266. 270

Arrabal Parrilla, Juan Jose, Balbontin Noval, Delia, Alonso Jimenez, Jose Antonio, Lara Martin, Francisco Felix, Martín Mateos, Francisco Jesús, et. al.:
Gti: una Herramienta de Edición de Cursos Adaptativos. Comunicación en congreso. XIII Congreso Nacional de Ingeniería de Proyectos. Santander (ESPAÑA). 1997. Actas del XIII Congreso Nacional de Ingenieria de Proyectos. 627. 634