Publicaciones (16) Publicaciones de JUAN LUIS BARBA ESCRIBA

2014

  1. Divertimento sobre la incompletud de la lógica de segundo orden

    Matemática, ciencia, filosofía: homenaje al prof. Javier de Lorenzo (Editorial Manuscritos), pp. 99-105

2010

  1. Lógica, lógicas

    [Valladolid] : Universidad de Valladolid, Secretariado de Publicaciones e Intercambio Editorial, D.L. 2010

2007

  1. Formal semantics in the age of pragmatics

    Linguistics and Philosophy, Vol. 30, Núm. 6, pp. 637-668

2004

  1. 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 dir. congr.

    [Valladolid : Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España], cop. 2004

1998

  1. Construction of truth predicates: Approximation versus revision

    Bulletin of Symbolic Logic, Vol. 4, Núm. 4, pp. 399-417

1997

  1. Presentaciones de la lógica libre supervaluacional

    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]

1993

  1. A modal reduction for partial logic

    Journal of Philosophical Logic, Vol. 22, Núm. 4, pp. 429-435

1991

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

    Encuentro de Lógica y Filosofía de la Ciencia, Madrid, 13-15 noviembre, 1991: : comunicaciones : Rudolf Carnap and Hans Reichenbach in memoriam ([S.l.] : [s.n.], 1991?), pp. 16-22

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

    Lenguajes naturales y lenguajes formales : actas del VI congreso de lenguajes naturales y lenguajes formales : (Tarragona, 17-21 de septiembre de 1990)

1990

  1. Sistemas formales afines a la semántica de situaciones

    Universidad Autónoma de Madrid

  2. Una formalización de las situaciones reales de Barwise y Perry

    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)

1989

  1. A modal version of free logic

    Topoi, Vol. 8, Núm. 2, pp. 131-135

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

    Salamanca : Ediciones Universidad de Salamanca, 1989

  3. Un sistema formal inspirado en la semántica de situaciones

    Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988)

  4. Un sistema formal inspirado en la semántica de situaciones

    Lenguajes naturales y lenguajes formales IV: vol 2. (Facultat de Filologia), pp. 465-480

1988

  1. Modelos relacionales para lógica libre supervalucional

    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)