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
- ISOLATING FORMULAS