Sciact
  • EN
  • RU

On semilattices and lattices for families of theories Full article

Journal Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304
Output data Year: 2017, Volume: 14, Pages: 980-985 Pages count : 6 DOI: 10.17377/semi.2017.14.082
Tags E-operator, combination of theories, family of theories, least generating set, semilattice, lattice.
Authors Sudoplatov Sergei Vladimirovich 1,2,3,4
Affiliations
1 Sobolev Institute of Mathematics
2 Novosibirsk State University
3 Novosibirsk State Technical University
4 Institute of Mathematics and Mathematical Modeling, Almaty

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.
Cite: 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
Dates:
Submitted: Jan 31, 2017
Published online: Sep 29, 2017
Identifiers:
Web of science: WOS:000454861900015
Scopus: 2-s2.0-85066101476
Citing:
DB Citing
Web of science 8
Scopus 8
Altmetrics: