- Gilles Richard, Frédéric Saubion:
Answer Synthesis for CLP Programs with Negation. Log. J. IGPL 5(3): 1-36 (1997) - Ildikó Sain, Viktor Gyuris:
Finite Schematizable Algebraic Logic. Log. J. IGPL 5(5): 699-751 (1997) - Gabriel Sandu:
The Logic of Informational Independence and Finite Models. Log. J. IGPL 5(1): 79-95 (1997) - James T. Sasaki:
A Type Theory with Mixed Constructivity and Assignments. Log. J. IGPL 5(3): 1-37 (1997) - Karl Schlechta:
A Reduction of the Theory of Confirmation to the Notions of Distance and Measure. Log. J. IGPL 5(1): 49-64 (1997) - Karl Schlechta:
Filters and Partial Orders. Log. J. IGPL 5(5): 753-772 (1997) - György Serény:
Saturatedness in Cylindric Algebraic Model Theory. Log. J. IGPL 5(1): 25-48 (1997) - Alasdair Urquhart:
Review: Feasible Mathematics II. Log. J. IGPL 5(2): 301-302 (1997) - Douglas Walton:
How can logic best be applied to arguments? Log. J. IGPL 5(4): 603-614 (1997)