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; zbMATH DE number 5233155 - MaRDI portal

scientific article; zbMATH DE number 5233155

From MaRDI portal

Publication:5441067

Jump to:navigation, search

zbMath1129.08002MaRDI QIDQ5441067

James G. Raftery

Publication date: 7 February 2008

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

zbMATH Keywords

BCK-algebra variety congruence lattice congruence identity Mal'tsev condition residuation involution operator involutive pocrim partially ordered commutative monoid

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

(Dual) Hoops Have Unique Halving ⋮ Double negation semantics for generalisations of Heyting algebras ⋮ On prevarieties of logic

This page was built for publication:

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