Research output: Contribution to journal › Article › peer-review
On semilattices and lattices for families of theories. / Sudoplatov, Sergey Vladimirovich.
In: Сибирские электронные математические известия, Vol. 14, 01.01.2017, p. 980-985.Research output: Contribution to journal › Article › peer-review
}
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 -
ID: 20337193