Volume 9, Number 1, January 2000
: An Algebraic Approach to Propositional Fuzzy Logic.
: Gems of Theoretical Computer Science, Uwe Schöning and Randall Pruim.
Volume 9, Number 2, April 2000
: Handbook of Logic and Language, Johan van Benthem and Alice ter Meulen, eds.
: Displaying Modal Logic, Heinrich Wansing.
Volume 9, Number 3, July 2000
Lambèr M. M. Royakkers
: Henry Prakken: Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law.
Volume 9, Number 4, October 2000
: The Constructibility of Artificial Intelligence (as Defined by the Turing Test).