Structure of algebras of binary formulas for polygonometrical theories with the symmetry condition
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 17 (2020), pp. 1-20

Voir la notice de l'article provenant de la source Math-Net.Ru

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.
Keywords: algebra of binary formulas, polygonometrical theory with symmetry condition, pseudo-Euclidean algebra, interval algebra.
@article{SEMR_2020_17_a0,
     author = {D. Yu. Emelyanov and S. V. Sudoplatov},
     title = {Structure of algebras of binary formulas for polygonometrical theories with the symmetry condition},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {1--20},
     publisher = {mathdoc},
     volume = {17},
     year = {2020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2020_17_a0/}
}
TY  - JOUR
AU  - D. Yu. Emelyanov
AU  - S. V. Sudoplatov
TI  - Structure of algebras of binary formulas for polygonometrical theories with the symmetry condition
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2020
SP  - 1
EP  - 20
VL  - 17
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2020_17_a0/
LA  - ru
ID  - SEMR_2020_17_a0
ER  - 
%0 Journal Article
%A D. Yu. Emelyanov
%A S. V. Sudoplatov
%T Structure of algebras of binary formulas for polygonometrical theories with the symmetry condition
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2020
%P 1-20
%V 17
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2020_17_a0/
%G ru
%F SEMR_2020_17_a0
D. Yu. Emelyanov; S. V. Sudoplatov. Structure of algebras of binary formulas for polygonometrical theories with the symmetry condition. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 17 (2020), pp. 1-20. http://geodesic.mathdoc.fr/item/SEMR_2020_17_a0/