Listar por autor 

Listar por autor "Cordón Franco, Andrés"                

Mostrando ítems 21-36 de 36

    • Trabajo Fin de Grado
      Icon

      Una introducción a la programación con conjuntos de respuesta. Aplicaciones 

      Jiménez Núñez, Marina (2022-06-22)
      The main objective of this paper is to present the answer set programming paradigm as a tool to model and solve combinatorial ...
    • Artículo
      Icon

      Local induction and provably total computable functions 

      Cordón Franco, Andrés; Lara Martín, Francisco Félix (Elsevier, 2014)
      Let I¦− 2 denote the fragment of Peano Arithmetic obtained by restricting the induction scheme to parameter free ¦2 ...
    • Ponencia
      Icon

      Local Induction and Provably Total Computable Functions: A Case Study 

      Cordón Franco, Andrés; Lara Martín, Francisco Félix (Springer, 2012)
      Let IΠ−2 denote the fragment of Peano Arithmetic obtained by restricting the induction scheme to parameter free Π2 ...
    • Ponencia
      Icon

      Looking for P Truth 

      Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2004)
      In a general sense, Logic studies how to derive new pieces of in- formation from previous ones. In this paper we explore ...
    • Trabajo Fin de Grado
      Icon

      Lógica Epistémica Dinámica 

      Romero Vinogradov, Alexander (2023-07)
      En este trabajo hacemos un repaso de algunas de las principales propuestas en el área de la lógica epistémica dinámica, ...
    • Trabajo Fin de Grado
      Icon

      Lógica epistémica: sintaxis y semántica, completitud, expresabilidad. 

      Martínez Rial, Carlos David (2020)
      A lo largo de este trabajo nos centraremos en presentar, desarrollar y estudiar diferentes lógicas epistémicas y algunas ...
    • Artículo
      Icon

      On axiom schemes for T-provably Δ1 formulas 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2014)
      This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and ...
    • Ponencia
      Icon

      On Rules and Parameter Free Systems in Bounded Arithmetic 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2007)
      We present model–theoretic techniques to obtain conservation results for first order bounded arithmetic theories, based on a hierarchical version of the well known notion of an existentially closed model.
    • Artículo
      Icon

      On the Optimality of Conservation Results for Local Reflection in Arithmetic 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Association for Symbolic Logic, 2013)
      Let T be a recursively enumerable theory extending Elementary Arithmetic EA. L. D. Beklemishev proved that the Σ2 local ...
    • Artículo
      Icon

      On the quantifier complexity of Δ n+1 (T)– induction 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2004)
      In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity ...
    • Artículo
      Icon

      Predicativity through Transfinite Reflection 

      Cordón Franco, Andrés; Fernández Duque, David; Joosten, Joost J.; Lara Martín, Francisco Félix (The Association for Symbolic Logic, 2017)
      Let T be a second-order arithmetical theory, Λ a well-order, λ < Λ and X ⊆ ℕ. We use as a formalization of “φ is provable ...
    • Ponencia
      Icon

      Provably Total Primitive Recursive Functions: Theories with Induction 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2004)
      A natural example of a function algebra is R (T), the class of provably total computable functions (p.t.c.f.) of a theory ...
    • Ponencia
      Icon

      Secure Communication of Local States in Interpreted Systems 

      Albert, Michael; Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Joosten, Joost J.; Soler Toscano, Fernando (Springer, 2011)
      Given an interpreted system, we investigate ways for two agents to communicate secrets by public announcements. For card ...
    • Tesis Doctoral
      Icon

      Semilinear order property and infinite games 

      Simões Loureiro, Manuel José (2016-01-22)
      En este trabajo se analiza la determinación de juegos de Lipschitz y Wadge, junto con la propiedad de ordenación semilineal, ...
    • Trabajo Fin de Grado
      Icon

      Subsistemas de la Aritmética de Segundo Orden y Matemática Inversa 

      Sierra Miranda, Borja (2022-06-20)
      Este trabajo de fin de grado consiste en una introducción a la matemática inversa. En ´el introduciremos la aritmética ...
    • Ponencia
      Icon

      Weak Metrics on Configurations of a P System 

      Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004)
      The evolution of a P system generates a tree of computation po- tentially in¯nite where it is very difficult to set the ...