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
Residuation in twist products and pseudo-Kleene posets Abstract - MaRDI portal

Residuation in twist products and pseudo-Kleene posets Abstract

From MaRDI portal
Publication:6354794

DOI10.21136/MB.2021.0182-20zbMATH Open1524.06002arXiv2011.14408MaRDI QIDQ6354794

Ivan Chajda, Helmut Länger

Publication date: 29 November 2020

Abstract: M. Busaniche, R. Cignoli, C. Tsinakis and A. M. Wille showed that every residuated lattice induces a residuation on its full twist product. For their construction they used also lattice operations. We generalize this problem to left-residuated groupoids which need not be lattice-ordered. Hence, for the full twist product we cannot use the same construction. We present another appropriate construction which, however, does not preserve commutativity and associativity of multiplication. Hence we introduce so-called operator residuated posets to obtain another construction which preserves the mentioned properties, but the results of operators on the full twist product need not be elements, but may be subsets. We apply this construction also to restricted twist products and present necessary and sufficient conditions under which we obtain a pseudo-Kleene operator residuated poset.












This page was built for publication: Residuation in twist products and pseudo-Kleene posets Abstract

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6354794)