| 1998 | Many-Valued First-Order Logics with Probabilistic Semantics. | Thomas Lukasiewicz |
| 1998 | Monadic NP and Graph Minors. | Martin Kreidler, Detlef Seese |
| 1998 | Characteristic Properties of Majorant-Computability over the Reals. | Margarita V. Korovina, Oleg V. Kudinov |
| 1998 | Theorems af Pter and Parsons in Computer Programming. | Jn Komara, Paul J. Voda |
| 1998 | Normalization of Typable Terms by Superdevelopments. | Zurab Khasidashvili, Adolfo Piperno |
| 1998 | On the Power of Quantifers in First-Order Algebraic Specification. | David Kempe, Arno Schegge |
| 1998 | Choice Construct and Lindstrm Logics. | H. Khanh Hoang |
| 1998 | Trakhtenbrot Theorem and Fuzzy Logic. | Petr Hjek |
| 1998 | On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases. | Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi |
| 1998 | Quantifers and the System KE: Some Surprising Results. | Uwe Egly |
| 1998 | An Upper Bound for Minimal Resolution Refutations. | Hans Kleine Bning |
| 1998 | Complexity Classes and Rewrite Systems with Polynomial Interpretation. | Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hlne Touzet |
| 1998 | Existence and Uniqueness of Normal Forms in Pure Type Systems with betaeta-Conversion. | Gilles Barthe |
| 1998 | Quantifier Elimination in Fuzzy Logic. | Matthias Baaz, Helmut Veith |
| 1998 | Logical Relations and Inductive/Coinductive Types. | Thorsten Altenkirch |
| 1997 | A Simple Ordinal Recursive Normalization of Gdel's T. | Paul J. Voda |
| 1997 | Rich omega-Words and Monadic Second-Order Arithmetic. | Ludwig Staiger |
| 1997 | Padding and the Expressive Power of Existential Second-Order Logics. | Thomas Schwentick |
| 1997 | The Monadic Quantifier Alternation Hierarchy over Grids and Pictures. | Nicole Schweikardt |
| 1997 | A Hierarchical Approach to Monadic Second-Order Logic over Graphs. | Ina Schiering |
| 1997 | Concurrent Constraint Programming and Non-commutative Logic. | Paul Ruet, Franois Fages |
| 1997 | Categories with Algebraic Structure. | A. John Power |
| 1997 | On the Computational Complexity of Type 2 Functionals. | Elena Pezzoli |
| 1997 | A Conjunctive Logical Characterization of Nondeterministic Linear Time. | Frdric Olive |
| 1997 | A Game-Theoretic, Concurrent and Fair Model of the Typed Lambda-calculus, with Full Recursion. | Yiannis N. Moschovakis |