Juan Manuel Lorente Tallada

• Colaboraciones en obras colectivas (16)
• Libros (5)
• Tesis (1)

• Colaboraciones en obras colectivas

  • ¿Son los algoritmos objetos matemáticos?

    José Pedro Úbeda Rives, Juan Manuel Lorente Tallada

    Estudios de Lógica, Lenguaje y Epistemología / coord. por David Fernández Duque, Emilio Francisco Gómez-Caminero Parejo, Ignacio Hernández Antón, 2010, ISBN 978-84-614-4291-1, págs. 177-189

    

  • ¿La negación como fallo genera una lógica no monótona?

    Juan Manuel Lorente Tallada

    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) / Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), Fernando Martínez Manrique (dir. congr.), Luis Miguel Peris Viñé (dir. congr.), 2006, ISBN 978-84-9349419-3, págs. 543-546

    

  • Una nueva notación para el cálculo proposicional

    Juan Manuel Lorente Tallada

    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 / coord. por Enric Casaban Moya, 2006, ISBN 978-84-370-6627-1, págs. 461-470

    • Texto Completo Libro
    

  • Lógica de la falsedad: (Una lógica para generar contradicciones)

    Juan Manuel Lorente Tallada

    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 / coord. por Enric Casaban Moya; Josep Lluís Blasco (hom.), 2005, ISBN 84-7274-270-9, págs. 131-140

    • Texto Completo Libro
    

  • Metalógica de una Lógca de la Contradcción

    Juan Manuel Lorente Tallada

    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 / Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), Agustín Vicente Benito (dir. congr.), Patricia de la Fuente López (dir. congr.), Cristina Corredor Lanas (dir. congr.), Juan Barba Escribá (dir. congr.), Alfredo Marcos Martínez (dir. congr.), 2004, ISBN 84-688-8448-0, págs. 372-375

    

  • Minimización de fórmulas lógicas

    Juan Manuel Lorente Tallada

    XIVè Congrès valenciá de filosofia: Peníscola. 21, 22 i 23 de març de 2002 / coord. por Enric Casaban Moya, 2003, ISBN 84-7274-260-1, págs. 81-97

    • Texto Completo Libro
    

  • Representación de fórmulas y prueba automática

    Juan Manuel Lorente Tallada

    Congress Formal Theories and Empirical Theories: Foundational, Ontosemantic and Pragmatic Aspects = Congreso Teorías formales y teorías Empíricas : Aspectos fundacionales, ontosemánticos y pragmáticos : Santiago de Compostela, 14-16 de noviembre de 2001 / coord. por José Miguel Sagüillo Fernández-Vega, José L. Falguera López, Concepción Martínez Vidal, 2001, ISBN 84-8121-960-6, págs. 461-476

    

  • Representación en programación lógica de agentes razonadores

    José Pedro Úbeda Rives, Juan Manuel Lorente Tallada, Jesús Alcolea Banegas

    XIIIè Congrès valenciá de filosofia: Peníscola. 2, 3 i 4 de novembre de 2000 / coord. por Enric Casaban Moya; Arrigo Diego Manfredini (dir. congr.), 2001, ISBN 84-7274-253-9, págs. 133-153

    • Texto Completo Libro
    

  • Fallibilism and realism in Lakatos

    Juan Manuel Lorente Tallada, Jesús Alcolea Banegas, José P. Ubeda-Ribes

    Proceedings of the International Congress Analytic Philosophy at the Turn of the Millennium : Santiago de Compostela = Actas del Congreso Internacional La Filosofía Analítica en el Cambio de Milenio : Santiago de Compostela / coord. por José L. Falguera López, María Uxía Rivas Monroy, José Miguel Sagüillo Fernández-Vega, 1999, ISBN 84-8121-786-7, págs. 253-264

    

  • Programación lógica y cambio de teoría

    José Pedro Úbeda Rives, Juan Manuel Lorente Tallada, Enric Casaban Moya

    XIIè Congrés Valencià de Filosofia: Alcoi. 9,10, i 11 d'octubre de 1997 / coord. por Enric Casaban Moya; Francesc Ferrando i Sanjuán (dir. congr.), 1998, ISBN 84-7274-233-4, págs. 125-133

    • Texto Completo Libro
    

  • Detección y tratamiento de la circularidad en Prolog

    José Pedro Úbeda Rives, Juan Manuel Lorente Tallada

    Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] / Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), Eugenio de Bustos Tovar (dir. congr.), Javier Echeverría Ezponda (dir. congr.), Eulalia Pérez Sedeño (dir. congr.), María Isabel Sánchez Balmaseda (dir. congr.), 1997, ISBN 84-604-8342-8, págs. 88-89

    

  • Tipos de negación en PROLOG

    Juan Manuel Lorente Tallada, José Pedro Úbeda Rives

    Actas del II Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Bellaterra 6-8 de febrero de 1997] / coord. por Anna Estany Profitós, J. Daniel Quesada Casajuana; Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), 1997, ISBN 84-600-9372-7, págs. 444-447

    

  • Análisis de autómatas con PROLOG

    Juan Manuel Lorente Tallada, José Pedro Úbeda Rives

    Lenguajes naturales y lenguajes formales : actas del XII congreso de lenguajes naturales y lenguajes formales : (La Seu d'Urgel, 23-27 de septiembre de 1996) / coord. por Carlos Martín Vide, 1996, ISBN 84-477-0575-7, págs. 479-486

    

  • Representación de la relación de afianzamiento epistémico en PROLOG

    José Pedro Úbeda Rives, Juan Manuel Lorente Tallada

    Verdad: lógica, representación y mundo / Concepción Martínez Vidal (ed. lit.), María Uxía Rivas Monroy (ed. lit.), Luis Villegas Forero (ed. lit.), 1996, ISBN 84-8121-396-9, págs. 355-367

    

  • Gramáticas que reconocen gramáticas

    José Pedro Úbeda Rives, Juan Manuel Lorente Tallada

    Lenguajes naturales y lenguajes formales: actas del XI congreso de lenguajes naturales y lenguajes formales: (Tortosa, 1995) / coord. por Carlos Martín Vide, 1995, ISBN 84-477-0501-3, págs. 603-610

    

  • Consecuencia de secuencias en Prolog

    Juan Manuel Lorente Tallada, José Pedro Úbeda Rives

    Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) / coord. por Carlos Martín Vide, 1994, ISBN 84-477-0396-7, págs. 467-474

    

• Libros

  • Automatización en el cálculo de predicados

    Juan Manuel Lorente Tallada

    Nau Llibres, 1983. ISBN 84-85630-50-5

    

  • El axioma de elección y sus equivalentes

    Juan Manuel Lorente Tallada

    Nau Llibres, 1983. ISBN 84-85630-64-5

    

  • Prueba automática de teoremas

    Juan Manuel Lorente Tallada

    Nau Llibres, 1982. ISBN 84-85630-47-5

    

  • Las paradojas de la lógica

    Evert Willem Beth, Juan Manuel Lorente Tallada, Amador Antón Antón, Universidad de Valencia

    Universidad de Valencia = Universitat de València, 1978 (2 ed.) . ISBN 84-370-0058-0

    

  • Las paradojas de la lógica

    Evert W. Beth, Juan Manuel Lorente Tallada

    Valencia : Departamento de Lógica y Filosofía de la Ciencia, Universidad de Valencia, 1975. ISBN 84-600-1881-4

    

• Tesis

  • Lenguaje APL e implicaciones en lógica simbólica

    Juan Manuel Lorente Tallada

    Tesis doctoral dirigida por Manuel Garrido (dir. tes.). Universitat de València (1979).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.