Reports on Mathematical Logic

No. 34 (2000)


Andrzej WRONSKI: Semantic Normal Form; pp. 5-21; (Abstract); Full text - pdf

James G. RAFTERY, Clint J. VAN ALTEN: Residuation in Commutative Ordered Monoids with Minimal Zero; pp.23-57; Full text - pdf

Tomasz KOWALSKI, Hiroakira ONO: The variety of residuated lattices is generated by its finite simple members; pp.59-77; (Abstract); Full text - pdf

Willem J. BLOK and Silvia B. LA FALCE: Komori Identities in Algebraic Logic; pp. 79-106; (Abstract); Full text - pdf

Katarzyna PALASINSKA: Sequent calculi and quasivarieties; pp.107-131; (Abstract); Full text - pdf

ABSTRACTS:

Tomasz KOWALSKI, Hiroakira ONO: Remarks on splittings in the variety of residuated lattices; pp. 133-140; Full text - pdf

Isabel M.A. FERREIRIM: A short note on hoops and continuous {t}-norms; pp.141-152; Full text - pdf

Katarzyna IDZIAK: Counting quasivarieties of equivalential algebras; pp. 153-155; Full text - pdf

Katarzyna SLOMCZYNSKA: Finite algebras from Fregean varieties: decomposition and polynomials; pp. 157-158; Full text - pdf

Willem J. BLOK and Clint VAN ALTEN: On the finite embeddability property for residuated lattices, pocrims and BCK-algebras; pp. 159-165; Full text - pdf


Back to Main Menu