On semilattices and lattices for families of theories

Sergey Vladimirovich Sudoplatov

doi:10.17377/semi.2017.14.082

On semilattices and lattices for families of theories

Sergey Vladimirovich Sudoplatov

Кафедра алгебры и математической логики ММФ

Результат исследования: Научные публикации в периодических изданиях › статья › рецензирование

4 Цитирования (Scopus)

Аннотация

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.

Язык оригинала	английский
Страницы (с-по)	980-985
Число страниц	6
Журнал	Сибирские электронные математические известия
Том	14
DOI	https://doi.org/10.17377/semi.2017.14.082
Состояние	Опубликовано - 1 янв 2017

Предметные области OECD FOS+WOS

1.01 МАТЕМАТИКА

Доступ к документу

10.17377/semi.2017.14.082

Link to publication in Scopus

Цитировать

@article{20e086e76a574749a812c4d2d459ae24,

title = "On semilattices and lattices for families of theories",

abstract = "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.",

keywords = "Combination of theories, E-operator, Family of theories, Lattice, Least generating set, Semilattice",

author = "Sudoplatov, {Sergey Vladimirovich}",

year = "2017",

month = jan,

day = "1",

doi = "10.17377/semi.2017.14.082",

language = "English",

volume = "14",

pages = "980--985",

journal = "Сибирские электронные математические известия",

issn = "1813-3304",

publisher = "Sobolev Institute of Mathematics",

}

On semilattices and lattices for families of theories. / Sudoplatov, Sergey Vladimirovich.

В: Сибирские электронные математические известия, Том 14, 01.01.2017, стр. 980-985.

Результат исследования: Научные публикации в периодических изданиях › статья › рецензирование

TY - JOUR

T1 - On semilattices and lattices for families of theories

AU - Sudoplatov, Sergey Vladimirovich

PY - 2017/1/1

Y1 - 2017/1/1

N2 - 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.

AB - 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.

KW - Combination of theories

KW - E-operator

KW - Family of theories

KW - Lattice

KW - Least generating set

KW - Semilattice

UR - http://www.scopus.com/inward/record.url?scp=85066101476&partnerID=8YFLogxK

U2 - 10.17377/semi.2017.14.082

DO - 10.17377/semi.2017.14.082

M3 - Article

AN - SCOPUS:85066101476

VL - 14

SP - 980

EP - 985

JO - Сибирские электронные математические известия

JF - Сибирские электронные математические известия

SN - 1813-3304

ER -

On semilattices and lattices for families of theories

Аннотация

Предметные области OECD FOS+WOS

Доступ к документу

Fingerprint

Цитировать