Reports on Mathematical Logic, Volume 34

Volume 34, 2000

• Andrzej Wronski:
  Semantic Normal Form. 5-21
  Electronic Edition (link) BibTeX
• James G. Raftery, Clint J. van Alten: Residuation in Commutative Ordered Monoids with Minimal Zero. 23-57 BibTeX
• Tomasz Kowalski, H. Ono:
  The Variety of Residuated Lattices is Generated by its Finite Simple Members. 59-77
  Electronic Edition (link) BibTeX
• Willem J. Blok, Silvia B. la Falce:
  Komori Identities in Algebraic Logic. 79-106
  Electronic Edition (link) BibTeX
• Katarzyna Palasinska:
  Sequent Calculi and Quasivarieties. 107-131
  Electronic Edition (link) BibTeX

Abstracts

• Tomasz Kowalski, H. Ono: Remarks on Splittings in the Variety of Residuated Lattices. 133-140 BibTeX
• Isabel M. A. Ferreirim: A Short Note on Hoops and Continuous {t}-norms. 141-152 BibTeX
• Katarzyna Idziak: Counting Quasivarieties of Equivalential Algebras. 153-155 BibTeX
• Katarzyna Slomczynska: Finite Algebras from Fregean Varieties: Decomposition and Polynomials. 157-158 BibTeX
• Willem J. Blok, Clint J. van Alten: On the Finite Embeddability Property for Residuated Lattices, Pocrims and BCK-algebras. 159-165 BibTeX