Geodesic
Extensions of the positive closure operator by using logical connectives
Diskretnyj analiz i issledovanie operacij, Tome 25 (2018) no. 4, pp. 46-58

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

The positive closure operator is defined on using the logical formulas containing the logical connectives $\vee,\$ and the quantifier $\exists$. Extensions of the positive closure operator are considered by using arbitrary (and not necessarily binary) logical connectives. It is proved that each proper extension of the positive closure operator by using local connectives gives either an operator with a full system of logical connectives or an implication closure operator (extension by using logical implication). For the implication closure operator, the description of all closed classes is found in terms of endomorphism semigroups. Bibliogr. 11.
Keywords: positive closure operator, parametric closure operator. 
@article{DA_2018_25_4_a3,
     author = {S. S. Marchenkov},
     title = {Extensions of the positive closure operator by using logical connectives},
     journal = {Diskretnyj analiz i issledovanie operacij},
     pages = {46--58},
     publisher = {mathdoc},
     volume = {25},
     number = {4},
     year = {2018},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DA_2018_25_4_a3/}
}
TY  - JOUR
AU  - S. S. Marchenkov
TI  - Extensions of the positive closure operator by using logical connectives
JO  - Diskretnyj analiz i issledovanie operacij
PY  - 2018
SP  - 46
EP  - 58
VL  - 25
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DA_2018_25_4_a3/
LA  - ru
ID  - DA_2018_25_4_a3
ER  - 
%0 Journal Article
%A S. S. Marchenkov
%T Extensions of the positive closure operator by using logical connectives
%J Diskretnyj analiz i issledovanie operacij
%D 2018
%P 46-58
%V 25
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DA_2018_25_4_a3/
%G ru
%F DA_2018_25_4_a3
S. S. Marchenkov. Extensions of the positive closure operator by using logical connectives. Diskretnyj analiz i issledovanie operacij, Tome 25 (2018) no. 4, pp. 46-58. http://geodesic.mathdoc.fr/item/DA_2018_25_4_a3/