Juan Barba Escribá

• Colaboraciones en obras colectivas (8)
• Libros (4)
• Tesis (1)

• Colaboraciones en obras colectivas

  • Divertimento sobre la incompletud de la lógica de segundo orden

    Juan Barba Escribá

    Matemática, ciencia, filosofía: homenaje al prof. Javier de Lorenzo / Javier de Lorenzo (hom.), José Manuel Chillón Lorenzo (dir.), Fernando Calderón Quindós (dir.), 2014, ISBN 978-84-943176-2-0, págs. 99-105

    

  • Presentaciones de la lógica libre supervaluacional

    Juan Barba Escribá

    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. 14-17

    

  • Lógica clásica, parcial y tetravaluada: una visión comparativa desde el punto de vista algebraico

    Juan Barba Escribá

    Encuentro de Lógica y Filosofía de la Ciencia, Madrid, 13-15 noviembre, 1991: : comunicaciones : Rudolf Carnap and Hans Reichenbach in memoriam, 1991, págs. 16-22

    

  • Una modalización para una lógica de la información parcial

    Juan Barba Escribá

    Lenguajes naturales y lenguajes formales : actas del VI congreso de lenguajes naturales y lenguajes formales : (Tarragona, 17-21 de septiembre de 1990) / coord. por Carlos Martín Vide, Vol. 2, 1991, ISBN 84-7665-867-2, págs. 321-328

    

  • Una formalización de las situaciones reales de Barwise y Perry

    Juan Barba Escribá

    Lenguajes naturales y lenguajes formales : actas del V congreso de lenguajes naturales y lenguajes formales : (Villafranca del Penedès-Barcelona, 18-22 de septiembre de 1989) / coord. por Carlos Martín Vide, Vol. 2, 1990, ISBN 84-7665-691-2, págs. 351-362

    

  • Un sistema formal inspirado en la semántica de situaciones

    Juan Barba Escribá

    Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988) / coord. por Carlos Martín Vide, Vol. 2, 1989, ISBN 84-7665-517-7, págs. 465-480

    

  • Un sistema formal inspirado en la semántica de situaciones

    Juan Barba Escribá

    Lenguajes naturales y lenguajes formales IV: vol 2. / coord. por Carlos Martín Vide, 1989, ISBN 8476655177, págs. 465-480

    

  • Modelos relacionales para lógica libre supervalucional

    Juan Barba Escribá

    Lenguajes naturales y lenguajes formales : actas del III congreso de lenguajes naturales y lenguajes formales : (Sitges-Barcelona, 28 de septiembre-2 de octubre de 1987) / coord. por Carlos Martín Vide, Vol. 2, 1988, ISBN 84-7665-318-2, págs. 415-422

    

• Libros

  • Lógica, lógicas

    Juan Barba Escribá

    [Valladolid] : Universidad de Valladolid, Secretariado de Publicaciones e Intercambio Editorial, D.L. 2010. ISBN 978-84-8448-544-5

    

  • 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.)

    [Valladolid : Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España], cop. 2004. ISBN 84-688-8448-0

    

  • Sistemas formales afines a la semántica de situaciones

    Juan Barba Escribá

    Universidad Autónoma de Madrid, 1990. ISBN 84-7477-225-7

    

  • La historiografía en verso en la época de los Reyes Católicos: Juan Barba y su "Consolatoria de Castilla"

    Pedro Manuel Cátedra García, Juan Barba Escribá

    Salamanca : Ediciones Universidad de Salamanca, 1989. ISBN 84-7481-545-2

    

• Tesis

  • Sistemas formales afines a la semántica de situaciones

    Juan Barba Escribá

    Tesis doctoral dirigida por Huberto Marraud (dir. tes.). Universidad Autónoma de Madrid (1989).

    

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.