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