Reports on Mathematical Logic, Volume 30

Volume 30, 1996

• Manuel Abad, Alicia Fernández, Nelli Meske:
  Free Boolean Correlations Lattices. 2-11
  Electronic Edition (link) BibTeX
• Bayu Surarso, H. Ono:
  Cut Elimination in Noncommutative Substructural Logics. 13-29
  Electronic Edition (link) BibTeX
• Francesco Paoli:
  S is Constructively Complete. 31-47
  Electronic Edition (link) BibTeX
• Andrzej Pietruszczak:
  Cardinalities of Models and the Expressive Power of Monadic Predicate Logic (with Equality and Individual Constants). 49-64
  Electronic Edition (link) BibTeX
• Jerzy Hanusek:
  Decidability of Classes of Finite Algebras with a Distinguished Subset Closed Under a Discriminator Clone. 65-82
  Electronic Edition (link) BibTeX
• Zdzislaw Grodzki, Jerzy Mycka:
  Classes of Markov-like k-ALGORITHMS. 83-99
  Electronic Edition (link) BibTeX
• Edward Szczypka:
  Isomorphism Testing for Equivalence Relations. 101-109
  Electronic Edition (link) BibTeX