Sciact
  • EN
  • RU

On semilattices and lattices for families of theories Научная публикация

Журнал Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304
Вых. Данные Год: 2017, Том: 14, Страницы: 980-985 Страниц : 6 DOI: 10.17377/semi.2017.14.082
Ключевые слова E-operator, combination of theories, family of theories, least generating set, semilattice, lattice.
Авторы Судоплатов Сергей Владимирович 1,2,3,4
Организации
1 Sobolev Institute of Mathematics
2 Novosibirsk State University
3 Novosibirsk State Technical University
4 Institute of Mathematics and Mathematical Modeling, Almaty

Реферат: We define and study semilattices and lattices for E-closed families of theories. Properties of these semilattices and lattices are investigated. It is shown that lattices for families of theories with the least generating sets are distributive.
Библиографическая ссылка: Sudoplatov S.V.
On semilattices and lattices for families of theories
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2017. V.14. P.980-985. DOI: 10.17377/semi.2017.14.082 WOS Scopus
Даты:
Поступила в редакцию: 31 янв. 2017 г.
Опубликована online: 29 сент. 2017 г.
Идентификаторы БД:
Web of science: WOS:000454861900015
Scopus: 2-s2.0-85066101476
Цитирование в БД:
БД Цитирований
Web of science 8
Scopus 8
Альметрики: