Articles
| Title | Authors | Download |
| On applying the λse style of unification for simply-typed higher order unification | Ayala-Rincón, Mauricio Kamareddine, Fairouz |
 |
| A note on the Hilbert algebras with infimum | Figallo, Aldo V. Ramón, Guillermina Z. Saad, Susana |
|
| Ribbon braided multiplicative linear logic | Fleury, Arnaud | |
| Mathematical fuzzy logic—state of art 2001 | Hájek, Petr | |
| On embedding models of arithmetic into reduced powers | Kennedy, Juliette | |
| Automata on guarded strings and applications | Kozen, Dexter | |
| Towards a model of heterogeneous commonsense reasoning | Martinez, Maricarmen | |
| Pseudo-finite model theory | Väänänen, Jouko | |