Úbeda, José Pedro
Institución: Universitat de València (Estudi Generali)
Dirección: Departamento de Lógica y Filosofía de la Ciencia. Avda. Blasco Ibañez, 30
Teléfonos: 963864433
Email: Jose.P.Ubeda@uv.es
Publicaciones 1
Docencia 2
Investigación 3
Conferencias 4
Alumnos 5
- (junto con C. Martínez Vidal) Leon Henkin the reviewer, en M. Manzano, I. Sasin y E. Alonso (Eds): The life and work of Leon Henkin, essays on his contributions, Birkhäuser, Springer, 2014, pp. 93-133.
- (junto con J. Díaz Boils) A Kripke model for subrecursion, Computability in Europe 2013 CiE2013 The nature of computation Logic, Algorithms, Applications, Milan, 2013 (on line:cie2013.disco.unimibit/2013/06/29/downloable-material/).
- Algoritmo, en L. Vega y P. Olmos (Eds): Compendio de Lógica, Argumentación y Retórica, Trotta, 2012, pp. 38 - 45.
- Diagonal, argumento/ Diagonalización / Método diagonal, en L. Vega y P. Olmos (Eds): Compendio de Lógica, Argumentación y Retórica, Trotta, 2012, pp. 192 - 194.
- Numeración de Gödel, en L. Vega y P. Olmos (Eds): Compendio de Lógica, Argumentación y Retórica, Trotta, 2012, pp. 429 - 429.
- Recursión, en L. Vega y P. Olmos (Eds): Compendio de Lógica, Argumentación y Retórica, Trotta, 2012, pp. 514- 517.
- Una Lógica epistémica bidimensional. VII Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. pp. 88 - 94. (España): Servizo de Publicacións da Universidade de Santiago de Compostela (USC), 2012. Disponible en Internet en: <http://hdl.handle.net/10347/5853>.
- Funciones parciales μ-recursivas y programas. XIX CONGRÉS VALENCIÀ DE FILOSOFIA, Societat de Filosofia del País Valencià, 2012, pp. 7-19.
- Lógica epistémica con grupos variantes de agentes. II Congrés català de filosofia. Joan Fuster, in memoriam. Afers, 2012, pp. 247 - 263.
- Las reglas de inferencia en la Conceptografía, Quaderns de filosofia i ciència, 40, pp. 7 - 20, 2010.
- (junto con Juan Manuel Lorente Tallada): ¿Son los algoritmos objetos matemáticos?. Jornadas de Lógica, Lenguaje y Epistemología, Universidad de Sevilla, 2010, pp. 177 - 189.
- 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), Servei de Publicacions de la Universitat de València, 2009 pp. 129 - 136.
- Lógicas Epistémicas y Sistemas Multiagentes, Quaderns de filosofia i ciència, 38, pp. 7 - 21, 2008.
- Problemas que el derecho plantea a la lógica, ARSP. Archiv für Rechts- und Sozialphilosophie. Beiheft. 110, pp. 199 - 206, 2007.
- (junto con Juan Manuel Lorente Tallada): PROLOG puro y una simulación de la negación como fallo. Lógica, Filosofía del Lenguaje y de la Lógica, Mergablum Edición y Comunicación, 2007, pp. 135 - 158.
- Notas sobre computabilidad y computabilidad relativa, Lógica, Filosofía del Lenguaje y de la Lógica, Mergablum Edición y Comunicación, pp. 219 - 239, 2007.
- (junto con José Ignacio Úbeda Garcia): Spectral Relation, International Congress of Mathematicians, Madrid 2006, Abstracts, European Mathematical Society, pp. 198 - 198, 2006.
- (junto con José Ignacio Úbeda Garcia): Must a mathematician learn Logic?. Second International Congress on Tools for Teaching Logic, Proceedings, Universidad de Salamanca, pp. 205 - 208, 2006.
- (junto con Juan Manuel Lorente Tallada): ¿La negación como fallo genera una lógica no monótona?. Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. V Congreso de l Sociedad de Lógica, Metodología y Filosofía, 2006, pp. 543 - 546.
- Marcos de Kripke y sistemas multiagentes, Actas del I Simposio de Sistemas Complejos, International Thomson Editores Spain Paraninfo, S.A., 2005, pp. 39 - 43.
- Modelos finitos y recursividad. XV Congres Valencia de Filosofia 'Josep L. Blasco', Societat de Filosofia del País Valencià, 2004. pp. 233 - 254.
