Reports on Mathematical Logic, Volume 34

Volume 34, 2000

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

Abstracts

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