WoLLIC 2001 Special Issue of Matemática Contemporânea

WoLLIC 2001 Special Issue of Matemática Contemporânea
John T. Baldwin, Ruy J.G.B. de Queiroz & Edward H. Haeusler(eds.)
Volume 24 of Matemática Contemporânea (ISSN 0103-9059)
July 2003
Sociedade Brasileira de Matemática

Abstract

The papers reviewed for publication in the volume are full versions of contributions to the 8th Workshop on Logic, Language, Information and Computation held in Brasília, DF, Brazil, from July 31st to August 3rd, 2001.

1. On Applying the Lambda s_e-style of unification for simply-typed higher order unification in the pure lambda-calculus
by Mauricio Ayala-Rincon and Fairouz Kamareddine

2. A note on the Hilbert Algebras with Infimum
by Aldo V. Figallo, Guillermina Ramón, Susana Saad

3. Ribbon braided multiplicative linear logic
by Arnaud Fleury

4. Mathematical fuzzy logic - state of the art 2001
by Petr Hajek

5. On Embedding Models of Arithmetic into Reduced Powers
by Juliette Kennedy

6. Automata on Guarded Strings and Applications
by Dexter Kozen

7. Towards a model of heterogeneous commonsense reasoning
by Maricarmen Martinez

8. Pseudo-finite model theory
by Jouko Väänänen

Last Updated October 24, 12:36:40 GMT-0300.