Geodesic
On Two Isomorphic Intervals in the Lattice of Ultraclones on Two-Elements Set
The Bulletin of Irkutsk State University. Series Mathematics, Tome 7 (2014), pp. 133-140 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

This paper considers multifunctions on two-elements set with superposition defined in a special way. Set of all multifunctions contains set of Boolean functions, set of partial functions and set of hyperfunctions. Clone of multifunctions is a set closed under superposition. Interval $I(A,B)$ is a partially ordered by inclusion set of all subclones of $B$ containing $A$. This paper describes a fragment of an interval in the lattice of clones containing all multifunctions preserving 0 and 1 (if particular function simultaneously preserves 0 and 1 then it cannot have an empty set as a value on any input). It is known that interval of partial Boolean functions preserving 0 and 1 consists of 45 clones. This paper shows that considered interval contains 12 clones and has an isomorphic interval in the lattice of clones of partial functions.
Keywords: clone, Boolean functions, partial functions, hyperfunctions, multifunctions.
Mots-clés : superposition 
@article{IIGUM_2014_7_a10,
     author = {S. Haltanova},
     title = {On {Two} {Isomorphic} {Intervals} in the {Lattice} of {Ultraclones} on {Two-Elements} {Set}},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {133--140},
     year = {2014},
     volume = {7},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2014_7_a10/}
}
TY  - JOUR
AU  - S. Haltanova
TI  - On Two Isomorphic Intervals in the Lattice of Ultraclones on Two-Elements Set
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2014
SP  - 133
EP  - 140
VL  - 7
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2014_7_a10/
LA  - ru
ID  - IIGUM_2014_7_a10
ER  - 
%0 Journal Article
%A S. Haltanova
%T On Two Isomorphic Intervals in the Lattice of Ultraclones on Two-Elements Set
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2014
%P 133-140
%V 7
%U http://geodesic.mathdoc.fr/item/IIGUM_2014_7_a10/
%G ru
%F IIGUM_2014_7_a10
S. Haltanova. On Two Isomorphic Intervals in the Lattice of Ultraclones on Two-Elements Set. The Bulletin of Irkutsk State University. Series Mathematics, Tome 7 (2014), pp. 133-140. http://geodesic.mathdoc.fr/item/IIGUM_2014_7_a10/

[1] Alekseev V. B., “On Some Closed Sets in Partial Two-Valued Logic”, Disktretnaya matematika, 6:4 (1994), 58–79 | MR

[2] Zhuk D., “A Structure of Closed Sets in a Maximal Set of Self-Dual Functions of Three-Valued Logic”, Dokl. Ros. Akad. Nauk, 437:6 (2011), 738–742 | MR

[3] Panteleyev V. I., “Completeness Criterion for Incompletely Defined Boolean Functions”, Vestnik Samar. Gos. Univ. Est.-Naush. Ser., 2:68 (2009), 60–79

[4] Panteleyev V. I., “On Two Maximal Multiclones and Partial Ultraclones”, Izvestiya Irk. Gos. Univ. Ser. Matematika, 5:4 (2012), 46–53

[5] D. Lau, Function algebras on finite sets. A basic course on many-valued logic and clone theory, Springer-Verlag, Berlin, 2006, 668 pp. | MR

[6] Doroslovaćki R., Pantović J., Vojvodić G., “One interval in the lattice of partial hyperclones”, Chechoslovak Mathematical Journal, 2005, no. 55(130), 719–724 | DOI | MR

[7] J. Pantovic, G. Vojvodic, “On the partial hyperclone lattice”, Proceedings of 35th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2005, 2005, 96–100

[8] E. L. Post, “Two-valued iterative systems of mathematical logic”, Annals of Math. Studies, 5, Univ. Press, Princeton, 1941, 122 | MR