Publicaciones (34) Publicaciones de JOSE PEDRO UBEDA RIVES

2016

  1. El nivel 0 de la jerarquía de Grzegorzcyk es recursivamente enumerable

    Avances y aplicaciones de sistemas inteligentes y nuevas tecnologías (Universidad de Los Andes (ULA) Venezuela), pp. 311-320

2014

  1. Leon Henkin the Reviewer

    Studies in Universal Logic (Springer Nature), pp. 93-133

2012

  1. Funciones parciales m-recursivas y programas

    XIX Congrés Valencià de Filosofia: València, Facultat de Filosofia i Ciències de l'Educació. 28, 30 i 31 de març de 2012

  2. Lógia Epistémica con grupos variantes de agentes

    II Congrés català de filosofia: Joan Fuster in memoriam

  3. Una lógica epistémica bidimensional

    VII Conference of the Spanish Society for Logic, Methodology and Philosophy of Science: Santiago de Compostela, Spain, 18-20 July 2012

2011

  1. Algoritmo

    Compendio de lógica, argumentación y retórica (Trotta), pp. 38-44

  2. Diagonal, argumento / Diagonalización / Método diagonal

    Compendio de lógica, argumentación y retórica (Trotta), pp. 192-193

  3. Numeración de Gödel

    Compendio de lógica, argumentación y retórica (Trotta), pp. 429-430

  4. Recursión

    Compendio de lógica, argumentación y retórica (Trotta), pp. 514-516

2010

  1. Las reglas de inferencia en La Conceptografía

    Quaderns de Filosofia i Ciència, Núm. 40, pp. 7-20

  2. ¿Son los algoritmos objetos matemáticos?

    Estudios de Lógica, Lenguaje y Epistemología

2009

  1. Relaciones de equivalencia: de máquinas de Turing a funciones parciales computables

    Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (SLMFCE): 18 - 21 de noviembre

2008

  1. Lógicas epistémicas y sistemas multiagentes: los agentes nacen y mueren

    Quaderns de Filosofia i Ciència, Núm. 38, pp. 7-21

2007

  1. Problemas que el Derecho plantea a la lógica

    Archiv für Rechts-und Sozialphilosophie, ARSP. Beiheft, Núm. 110, pp. 199-206

  2. Problemas que el derecho plantea a la lógica

    Logic, argumentation and interpretation: proceedings of the 22nd IVR World Congress, Granada 2005 = Lógica, argumentación e interpretación (Franz Steiner Verlag), pp. 199-206

2006

  1. La doble negación y el prólogo de la "conceptografía"

    Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Granada, 29 noviembre - 1 diciembre de 2006)

  2. La lógica formal frente al derecho

    XVI Congrés Valencià de Filosofia: València, Facultat de Filosofia i Ciències de l'Educació. 6, 7 i 8 d'abril de 2006

2005

  1. Modelos finitos y recursividad

    XV Congrés Valencià de Filosofia. Josep L. Blasco in memoriam: València, Facultat de Filosofia i Ciènces de l'Educació. 1, 2 i 3 d'abril de 2004

2004

  1. La Lógica de Frege como Lógica polivalente

    Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004

2003

  1. Cálculo formal para razonamientos

    XIVè Congrès valenciá de filosofia: Peníscola. 21, 22 i 23 de març de 2002