default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReports 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, Hiroakira 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, Hiroakira 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-02 20:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
