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.
Original language | English |
---|---|
Pages (from-to) | 980-985 |
Number of pages | 6 |
Journal | Сибирские электронные математические известия |
Volume | 14 |
DOIs | |
Publication status | Published - 1 Jan 2017 |
Keywords
- Combination of theories
- E-operator
- Family of theories
- Lattice
- Least generating set
- Semilattice
OECD FOS+WOS
- 1.01 MATHEMATICS