Reports on Mathematical Logic, Volume 31

Volume 31, 1997

• Clint J. van Alten, James G. Raftery:
  On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules. 3-55
  Electronic Edition (link) BibTeX
• David Isles:
  Theorems of Peano Arithmetic are Buridan-Volpin Recursively Satisfable. 57-74
  Electronic Edition (link) BibTeX
• Tomasz A. Gorazd:
  The Isomorphism Testing for Directly Representable Varieties. 75-92
  Electronic Edition (link) BibTeX
• Joanna Grygiel, Piotr Wojtylak:
  The Uniqueness of the Decomposition of Distributive Lattices into Sums of Boolean Lattices. 93-102
  Electronic Edition (link) BibTeX