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
Unilinear residuated lattices: axiomatization, varieties and FEP - MaRDI portal

Unilinear residuated lattices: axiomatization, varieties and FEP

From MaRDI portal

Publication:6568737

Jump to:navigation, search

DOI10.1007/s00012-024-00856-6MaRDI QIDQ6568737

Nikolaos Galatos, Xiao Zhuang

Publication date: 8 July 2024

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

subvarieties axiomatization finite embeddability property unilinear residuated lattices

Mathematics Subject Classification ID

Lattices of varieties (08B15) Logical aspects of lattices and related structures (03G10) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication: Unilinear residuated lattices: axiomatization, varieties and FEP

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