Unification types of completely regular semigroups

被引：1

作者：

Mashevitzky, G ^{[1
]}

机构：

[1] Ben Gurion Univ Negev, IL-84105 Beer Sheva, Israel

来源：

JOURNAL OF AUTOMATED REASONING | 2002年 / 29卷 / 02期

关键词：

semigroup; unification types; semilattices;

D O I：

10.1023/A:1021695118634

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We show that a variety V of completely regular semigroups that contains a nontrivial (two-element) semilattice has finitary or unitary unification type if and only if V consists of strong semilattices of rectangular groups of finitary or unitary unification type. We reduce the problem of recognizing unification type of a variety V of completely regular semigroups defined by a homotypical system of identities to the same problem for the variety of all groups of V.

引用

页码：171 / 182

页数：12

共 34 条

[31] On a class of completely join prime J-trivial semigroups with unique involution
Lee, Edmond W. H.
ALGEBRA UNIVERSALIS, 2017, 78 (02) : 131 - 145
[32] Remarks about the unification types of some locally tabular normal modal logics
Balbiani, Philippe
Gencer, CiGdem
Rostamigiv, Maryam
Tinchev, Tinko
LOGIC JOURNAL OF THE IGPL, 2023, 31 (01) : 115 - 139
[33] Polák theorem and B\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {B}$$\end{document}-relation on varieties of completely regular semigroups
Mario Petrich
Semigroup Forum, 2017, 94 (2) : 371 - 389
[34] A note on ordered bi-Γ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Gamma $$\end{document}-ideals in intra-regular ordered Γ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Gamma $$\end{document}-semigroups
M. Y. Abbasi
Abul Basar
Afrika Matematika, 2016, 27 (7-8) : 1403 - 1407

← 1 2 3 4 →