Volume 13, Number 1, January 2005 Editorial
Volume 13, Number 2, March 2005
Douglas S. Bridges
: A Weak Constructive Sequential Compactness Property and the Fan Theorem.
: The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable.
John K. Slaney
: Semipositive LTL with an Uninterpreted Past Operator.
: Dialectical Considerations on the Logic of Contradiction: Part I.
Volume 13, Number 3, May 2005
: The Unique Intermediate Logic Whose Every Rule is Archetypal.
: The Complexity of Propositional Proofs with the Substitution Rule.
: Reviews: Review of Coherent Systems, by Karl Schlechta, volume 2 of Studies in Logic and Practical Reasoning. Amsterdam: Elsevier, 2004, 447 pp., ISBN: 0-444-51789-8.
Volume 13, Number 4, July 2005
: Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.
: A non-arithmetical Gödel logic.
Volume 13, Number 5, September 2005
: A Dynamic Game-theoretic Approach to the Modified Prisoner's Dilemma.
: On Evolving of Recursive Functions using lambda-abstraction and Higher-order Functions.
: Neural Network Learning as an Inverse Problem.
: Relational Databases with Ordered Relations.
Volume 13, Number 6, November 2005 Special Issue:
Selected Papers from the Workshop on Combination of Logics:
Theory and Applications (CombLog'04)