JUAN LUIS
BARBA ESCRIBA
Investigador en el periodo 1991-2022
Publicaciones (16) Publicaciones de JUAN LUIS BARBA ESCRIBA
2014
-
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
-
Lógica, lógicas
[Valladolid] : Universidad de Valladolid, Secretariado de Publicaciones e Intercambio Editorial, D.L. 2010
2007
-
Formal semantics in the age of pragmatics
Linguistics and Philosophy, Vol. 30, Núm. 6, pp. 637-668
2004
-
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
-
Construction of truth predicates: Approximation versus revision
Bulletin of Symbolic Logic, Vol. 4, Núm. 4, pp. 399-417
1997
-
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
-
A modal reduction for partial logic
Journal of Philosophical Logic, Vol. 22, Núm. 4, pp. 429-435
1991
-
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
-
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
-
Sistemas formales afines a la semántica de situaciones
Universidad Autónoma de Madrid
-
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
-
A modal version of free logic
Topoi, Vol. 8, Núm. 2, pp. 131-135
-
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
-
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)
-
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
-
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)