Geodesic
Truth-table unoids satisfying the Urzyczyn's conditions
Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika, no. 1 (2021), pp. 59-70

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

In the works of P. Urzyczyn [1-3] were suggested sufficient conditions of truth-table property of unoids, however, these algebraic conditions of Urzyczyn are difficult to be checked in practice and leave no possibilities to build non-trivial examples of truth-table unoids. In this work concepts of locally-given and divided unoids are proposed, and it is proved that divided unoids satisfy the conditions of Urzyczyn. Thus, simply verifiable sufficient conditions are achieved, on the basis of which unoid, including with enough complicated specified connected underlying set, is truth-table.
Keywords: algebraic system, algebra, truth-table property, dynamic logics
Mots-clés : unoid, term. 
@article{VTPMK_2021_1_a4,
     author = {D. O. Daderkin},
     title = {Truth-table unoids satisfying the {Urzyczyn's} conditions},
     journal = {Vestnik Tverskogo gosudarstvennogo universiteta. Seri\^a Prikladna\^a matematika},
     pages = {59--70},
     publisher = {mathdoc},
     number = {1},
     year = {2021},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VTPMK_2021_1_a4/}
}
TY  - JOUR
AU  - D. O. Daderkin
TI  - Truth-table unoids satisfying the Urzyczyn's conditions
JO  - Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
PY  - 2021
SP  - 59
EP  - 70
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VTPMK_2021_1_a4/
LA  - ru
ID  - VTPMK_2021_1_a4
ER  - 
%0 Journal Article
%A D. O. Daderkin
%T Truth-table unoids satisfying the Urzyczyn's conditions
%J Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
%D 2021
%P 59-70
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VTPMK_2021_1_a4/
%G ru
%F VTPMK_2021_1_a4
D. O. Daderkin. Truth-table unoids satisfying the Urzyczyn's conditions. Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika, no. 1 (2021), pp. 59-70. http://geodesic.mathdoc.fr/item/VTPMK_2021_1_a4/