Commutative semigroups with bounded orders of subdirectly irreducible acts ; Коммутативные полугруппы с ограниченными в совокупности порядками подпрямо неразложимых полигонов

Authors: Igor Borisovich Kozhukhov, Игорь Борисович Кожухов

Contributors: Исследование выполнено при поддержке Международного Центра фундаментальной и прикладной мате- матики МГУ

Source: Chebyshevskii Sbornik; Том 22, № 1 (2021); 188-199 ; Чебышевский сборник; Том 22, № 1 (2021); 188-199 ; 2226-8383 ; 10.22405/2226-8383-2021-22-1

Subject Terms: финитная аппроксимируемость, act over semigroup, subdirectly irreducible act, finite approximation, полигон над полугруппой, подпрямо неразложимый полигон

File Description: application/pdf

Relation: https://www.chebsbornik.ru/jour/article/view/941/753; Клиффорд А., Престон Г. "Алгебраическая теория полугрупп" , 1872, т. 1,2. Мир, М., 286 + 432 с.; Кожухов И. Б. "Коммутативные полугруппы с ограничениями на подпрямо неразложимые полигоны" , 2020, Информатика и кибернетика (ДонНТУ), т. 21, вып. 3, c. 21–24.; Кожухов И. Б. "Полугруппы, над которыми все полигоны резидуально конечны" , 1998, Фундаментальная и прикладная математика, т. 4, вып. 4, с. 1335–1344.; Кожухов И. Б. "Условия конечности для подпрямо неразложимых полигонов и модулей", 1998, Фундаментальная и прикладная математика, т. 4, вып. 2, с. 763–767.; Кожухов И. Б., Халиуллина А. Р. "Полугруппы с финитно аппроксимируемыми полигонами" , 2014, Математические заметки СВФУ, т. 21, вып. 3 (83), с. 60–67.; Кожухов И. Б., Халиуллина А. Р. "Характеризация подпрямо неразложимых полигонов" , 2015, Прикладная дискретная математика, т. 27, вып. 1, с. 5–16.; Кожухов И. Б., Царёв А. В. "Абелевы группы с финитно аппроксимируемыми полигонами" , 2019, Фундаментальная и прикладная математика, т. 22, вып. 5, с. 81–89.; Кон П., "Универсальная алгебра" , 1968, Мир, М., 353 с.; Пинус А. Г. "Внутренние гомоморфизмы и позитивно-условные термы" , 2001, Алгебра и логика, т. 40, вып. 2, с. 158–173.; Плоткин Б. И., Гринглаз Л. Я., Гварамия А. А. "Элементы алгебраической теории автоматов" , 1994, Высш. школа, М., 191 с.; Ройз Е. Н. "О подпрямо неразложимых монарах" , 1874, Межвуз. научн. сборник "Упорядоченные множества и решётки" , вып. 2, с. 80–94.; Сб. статей под ред. М. Арбиба "Алгебраическая теория автоматов, языков и полугрупп", 1875, Статистика, М., 335 с.; Фукс Л. "Бесконечные абелевы группы" , т. 1, 1874, Мир, М., 336 с.; Esik Z., Imreh B. "Subdirectly irreducible commutative automata" , 1981, Acta Cybernetica, vol. 5, iss. 3, pp. 251–260.; Kilp M., Knauer U., Mikhalev A. V. "Monoids, acts and categories" , 2000, W. de Gruyter, N.Y., Berlin, xvii + 529 pp.; Kozhukhov I. B., "One characteristical property of semilattices" , 1997, Commun. Algebra, vol. 25, iss. 8, pp. 2569–2577.; Moghaddasi Gh., Mahmoudi M., "Subdirectly irreducible acts over some semigroups" , 2017, Bull. Iranian Math. Soc., vol. 43, iss. 6, pp. n1913–1924.; Rankin S. A., Reis C. M., Thierrin G., "Right subdirectly irreducible semigroups" , 1979, Pacific J. Math., vol 85, iss. 2, pp. 403–412.; Roueentan M., Sedaghatjoo M. "The structure of subdirectly irreducible and uniform acts over rectangular bands" , 2020, Semigroup Forum, vol. 101, no. 1, pp. 192–201.; https://www.chebsbornik.ru/jour/article/view/941

Availability: https://www.chebsbornik.ru/jour/article/view/941
https://doi.org/10.22405/2226-8383-2021-22-1-188-199

Финитная аппроксимируемость нормальных модальных логик и константные формулы: пример

Authors: ЧАГРОВ АЛЕКСАНДР ВАСИЛЬЕВИЧ

Subject Terms: НОРМАЛЬНАЯ МОДАЛЬНАЯ ЛОГИКА,NORMAL MODAL LOGIC,ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ,FINITE MODEL PROPERTY,КОНСТАНТНАЯ ФОРМУЛА,CONSTANT FORMULA,ТЕОРЕМА О ДЕДУКЦИИ,DEDUCTION THEOREM

File Description: text/html

Availability: http://cyberleninka.ru/article/n/finitnaya-approksimiruemost-normalnyh-modalnyh-logik-i-konstantnye-formuly-primer
http://cyberleninka.ru/article_covers/16896612.png

Об алгоритмической разрешимости проблемы распознавания предиката аннулирования второго рода для многообразий полугрупп

Authors: Костырев, И.

Subject Terms: ПОЛУГРУППА, ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ, ПРЕДИКАТ АННУЛИРОВАНИЯ ВТОРОГО РОДА, АЛГОРИТМИЧЕСКАЯ РАЗРЕШИМОСТЬ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/ob-algoritmicheskoy-razreshimosti-problemy-raspoznavaniya-predikata-annulirovaniya-vtorogo-roda-dlya-mnogoobraziy-polugrupp
http://cyberleninka.ru/article_covers/14790991.png

Финитная аппроксимируемость нормальных модальных логик и константные формулы: пример

Source: Логические исследования.

Subject Terms: НОРМАЛЬНАЯ МОДАЛЬНАЯ ЛОГИКА,NORMAL MODAL LOGIC,ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ,FINITE MODEL PROPERTY,КОНСТАНТНАЯ ФОРМУЛА,CONSTANT FORMULA,ТЕОРЕМА О ДЕДУКЦИИ,DEDUCTION THEOREM

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/finitnaya-approksimiruemost-normalnyh-modalnyh-logik-i-konstantnye-formuly-primer
http://cyberleninka.ru/article_covers/16896612.png

Разрешимость многомодальной линейной логики знания и времени LTK

Authors: Lukyanchuk, Alexandra N.

Subject Terms: epistemic logic, multi-modal logic, temporal logic, многомодальная логика, decidability, линейная временная логика, effective finite model property, разрешимость, эффективная финитная аппроксимируемость

Access URL: https://openrepository.ru/article?id=267555

Об алгоритмической разрешимости проблемы распознавания предиката аннулирования второго рода для многообразий полугрупп

Source: Вестник Санкт-Петербургского университета. Серия 1. Математика. Механика. Астрономия.

Subject Terms: ПОЛУГРУППА, ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ, ПРЕДИКАТ АННУЛИРОВАНИЯ ВТОРОГО РОДА, АЛГОРИТМИЧЕСКАЯ РАЗРЕШИМОСТЬ

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/ob-algoritmicheskoy-razreshimosti-problemy-raspoznavaniya-predikata-annulirovaniya-vtorogo-roda-dlya-mnogoobraziy-polugrupp
http://cyberleninka.ru/article_covers/14790991.png

Разрешимость многомодальной линейной логики знания и времени LTK ; Decidability of Multi-modal Logic LTK of Linear Time and Knowledge

Authors: Lukyanchuk, Alexandra N., Лукьянчук, Александра Н.

Subject Terms: multi-modal logic, temporal logic, epistemic logic, decidability, effective finite model property, многомодальная логика, линейная временная логика, разрешимость, эффективная финитная аппроксимируемость

Relation: 2013 6 ( 2 ); Журнал Сибирского федерального университета. Математика и физика. Journal of Siberian Federal University. Mathematics & Physics.

Availability: https://elib.sfu-kras.ru/handle/2311/9680

Унификация в нетранзитивной временной логике знания с универсальной модальностью

Authors: Зверева, Татьяна Юрьевна

Contributors: Башмаков, Степан Игоревич, Институт математики и фундаментальной информатики, Кафедра алгебры и математической логики

Subject Terms: модальные логики, нетранзитивное время, унификация, финитная аппроксимируемость, неклассические логики, проективность, 27.03.19

Relation: Зверева, Татьяна Юрьевна. Унификация в нетранзитивной временной логике знания с универсальной модальностью [Электронный ресурс] : выпускная квалификационная работа бакалавра : 01.03.01 / Т. Ю. Зверева. — Красноярск : СФУ, 2020.

Availability: https://elib.sfu-kras.ru/handle/2311/137059