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

Συγγραφείς: Igor Borisovich Kozhukhov, Игорь Борисович Кожухов

Συνεισφορές: Исследование выполнено при поддержке Международного Центра фундаментальной и прикладной мате- матики МГУ

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

Θεματικοί όροι: финитная аппроксимируемость, act over semigroup, subdirectly irreducible act, finite approximation, полигон над полугруппой, подпрямо неразложимый полигон

Περιγραφή αρχείου: 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

Διαθεσιμότητα: https://www.chebsbornik.ru/jour/article/view/941
https://doi.org/10.22405/2226-8383-2021-22-1-188-199

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

Συγγραφείς: ЧАГРОВ АЛЕКСАНДР ВАСИЛЬЕВИЧ

Θεματικοί όροι: НОРМАЛЬНАЯ МОДАЛЬНАЯ ЛОГИКА,NORMAL MODAL LOGIC,ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ,FINITE MODEL PROPERTY,КОНСТАНТНАЯ ФОРМУЛА,CONSTANT FORMULA,ТЕОРЕМА О ДЕДУКЦИИ,DEDUCTION THEOREM

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/finitnaya-approksimiruemost-normalnyh-modalnyh-logik-i-konstantnye-formuly-primer
http://cyberleninka.ru/article_covers/16896612.png

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

Συγγραφείς: Костырев, И.

Θεματικοί όροι: ПОЛУГРУППА, ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ, ПРЕДИКАТ АННУЛИРОВАНИЯ ВТОРОГО РОДА, АЛГОРИТМИЧЕСКАЯ РАЗРЕШИМОСТЬ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/ob-algoritmicheskoy-razreshimosti-problemy-raspoznavaniya-predikata-annulirovaniya-vtorogo-roda-dlya-mnogoobraziy-polugrupp
http://cyberleninka.ru/article_covers/14790991.png

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

Πηγή: Логические исследования.

Θεματικοί όροι: НОРМАЛЬНАЯ МОДАЛЬНАЯ ЛОГИКА,NORMAL MODAL LOGIC,ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ,FINITE MODEL PROPERTY,КОНСТАНТНАЯ ФОРМУЛА,CONSTANT FORMULA,ТЕОРЕМА О ДЕДУКЦИИ,DEDUCTION THEOREM

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/finitnaya-approksimiruemost-normalnyh-modalnyh-logik-i-konstantnye-formuly-primer
http://cyberleninka.ru/article_covers/16896612.png

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

Συγγραφείς: Lukyanchuk, Alexandra N.

Θεματικοί όροι: epistemic logic, multi-modal logic, temporal logic, многомодальная логика, decidability, линейная временная логика, effective finite model property, разрешимость, эффективная финитная аппроксимируемость

Σύνδεσμος πρόσβασης: https://openrepository.ru/article?id=267555

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

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

Θεματικοί όροι: ПОЛУГРУППА, ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ, ПРЕДИКАТ АННУЛИРОВАНИЯ ВТОРОГО РОДА, АЛГОРИТМИЧЕСКАЯ РАЗРЕШИМОСТЬ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Lukyanchuk, Alexandra N., Лукьянчук, Александра Н.

Θεματικοί όροι: multi-modal logic, temporal logic, epistemic logic, decidability, effective finite model property, многомодальная логика, линейная временная логика, разрешимость, эффективная финитная аппроксимируемость

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

Διαθεσιμότητα: https://elib.sfu-kras.ru/handle/2311/9680

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

Συγγραφείς: Зверева, Татьяна Юрьевна

Συνεισφορές: Башмаков, Степан Игоревич, Институт математики и фундаментальной информатики, Кафедра алгебры и математической логики

Θεματικοί όροι: модальные логики, нетранзитивное время, унификация, финитная аппроксимируемость, неклассические логики, проективность, 27.03.19

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

Διαθεσιμότητα: https://elib.sfu-kras.ru/handle/2311/137059