Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras Fransesc EstevaLluĂs GodoFranco Montagna OriginalPaper Pages: 161 - 200
Order Algebras as Models of Linear Logic Constantine TsinakisHan Zhang OriginalPaper Pages: 201 - 225
Equational Bases for Joins of Residuated-lattice Varieties Nikolaos Galatos OriginalPaper Pages: 227 - 240
Rule Separation and Embedding Theorems for Logics Without Weakening Clint J. Van AltenJames G. Raftery OriginalPaper Pages: 241 - 274
The Variety of Lattice-Ordered Monoids Generated by the Natural Numbers Annika M. Wille OriginalPaper Pages: 275 - 290