Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/101488
Название: | The Lattice of Varieties of Implication Semigroups |
Авторы: | Gusev, S. V. Sankappanavar, H. P. Vernikov, B. M. |
Дата публикации: | 2020 |
Издатель: | Springer |
Библиографическое описание: | Gusev S. V. The Lattice of Varieties of Implication Semigroups / S. V. Gusev, H. P. Sankappanavar, B. M. Vernikov. — DOI 10.1007/s11083-019-09503-5 // Order. — 2020. — Vol. 37. — Iss. 2. — P. 271-277. |
Аннотация: | An implication semigroup is an algebra of type (2, 0) with a binary operation → and a 0-ary operation 0 satisfying the identities (x→ y) → z≈ x→ (y→ z) , (x→y)→z≈[(z′→x)→(y→z)′]′ and 0 ′′≈ 0 where u′ means u→ 0 for any term u. We completely describe the lattice of varieties of implication semigroups. It turns out that this lattice is non-modular and consists of 16 elements. © 2019, Springer Nature B.V. |
Ключевые слова: | IMPLICATION SEMIGROUP LATTICE OF VARIETIES VARIETY |
URI: | http://elar.urfu.ru/handle/10995/101488 |
Условия доступа: | info:eu-repo/semantics/openAccess |
Идентификатор SCOPUS: | 85088197927 |
Идентификатор WOS: | 000548247100004 |
Идентификатор PURE: | 282c04f3-3960-469d-8b26-8b45998c619b 13390205 |
ISSN: | 1678094 |
DOI: | 10.1007/s11083-019-09503-5 |
Сведения о поддержке: | The first and the third authors were partially supported by the Ministry of Education and Science of the Russian Federation (project 1.6018.2017/8.9) and by the Russian Foundation for Basic Research (grant No. 17-01-00551). |
Располагается в коллекциях: | Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
2-s2.0-85088197927.pdf | 176,26 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.