Аннотация:
We describe the structure of algebras of binary formulas for polygonometrical theories with the symmetry condition. The concepts of pseudo-Euclidean and interval algebras for binary formulas are introduced. Questions of existence of such algebras in classes of polygonometrical theories are investigated.
Ключевые слова:algebra of binary formulas, polygonometrical theory with symmetry condition, pseudo-Euclidean algebra, interval algebra.