Boolean evaluation and sheaves of some classes of lattice-ordered groups
Автор: Antonov V.I.
Журнал: Вестник Бурятского государственного университета. Математика, информатика @vestnik-bsu-maths
Рубрика: Алгебра и геометрия
Статья в выпуске: 2, 2016 года.
Бесплатный доступ
The article considers semantic evaluation, corresponding canonical sheaves associated with the initial algebraic systems. Based on this study Horn theory of various classes l-groups.
Ортополные проективные l-группы, boolean valued analysis, evaluations, sheaves, pre-sheaves, lattice- ordered groups, orthocomplete в-group, orthocomplete projective l-group, horn theory
Короткий адрес: https://sciup.org/14835177
IDR: 14835177 | DOI: 10.18101/2304-5728-2016-2-3-10
Статья научная
