Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3946165

Jump to:navigation, search

zbMath0486.03033MaRDI QIDQ3946165

William H. Cornish

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

survey BCK-algebras congruence lattice congruence extension property congruence problem commutative BCK-algebras finite BCK-algebras Abelian l-groups quasi-commutative BCK- algebras totally ordered BCK-chains

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25) Varieties (08B99)

Related Items

Varieties of commutative residuated integral pomonoids and their residuation subreducts, Skew lattices and binary operations on functions, Constructive logic with strong negation is a substructural logic. I, Tolerance numbers, congruence $n$-permutability and BCK-algebras, On annihilators of BCK-algebras, Ideal determined varieties need not be congruence 3-permutable

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3946165&oldid=17643878"