The closure operator with the equality predicate branching on the set of hyperfunctions on two-element set

V. I. Panteleev   ; L. V. Ryabets

The Bulletin of Irkutsk State University. Series Mathematics, Tome 10 (2014), pp. 93-105

Résumé

In this work we consider the closure operator with the equality predicate branching ($E$-operator) on the set of hyperfunctions on two-element set. With respect to this operator closed classes of hyperfunctions are generated. We show that there are four submaximal classes and prove the criterion of functional completeness. The relation of equivalence is considered on the set of hyperfunctions obtained by their membership in $E$-submaximal classes. All hyperfunctions are divided into 14 equivalence classes. In closed sets the minimal closed subsets named basis are derived. We show that basis of hyperfunctions can have cardinality from 1 to 3 and there is no basis with cardinality more than 3. There is only one kind of basis with cardinality 1. The function from that basis does not belong to any of four $E$-submaximal classes. We obtain 23 kind of basis with cardinality 2 and 11 with cardinality 3.

Détail

Keywords: closure, equality predicate, hyperfunction, closed set, completeness criterion.
Mots-clés : superposition

Bibliographie

[1] Kazimirov A. S., Panteleyev V. I., Tokareva L. V., “Classification and Enumeration of Bases in Clone of All Hyperfunctions on Two-Elements Set”, IIGU Ser. Matematika, 7 (2014), 61–78 (in Russian)

[2] Lo Czu Kai, “Maximal closed classes on the Set of Partial Many-valued Logic Functions”, Kiberneticheskiy Sbornik, 25, Mir, M., 1988, 131–141 (in Russian)

[3] Lo Czu Kai, “Completeness theory on Partial Many-valued Logic Functions”, Kiberneticheskiy Sbornik, 25, Mir, M., 1988, 142–157 (in Russian)

[4] Marchenkov S. S., “Closure Operators with Predicate Branching”, Vestnik Moskov. Univ. Ser. I. Mat. Mekh., 2003, no. 6, 37–39 (in Russian)

[5] Marchenkov S. S., “The Closure Operator With the Equality Predicate Branching on the Set of Partial Boolean Functions”, Discrete Mathematics, 20:3 (2008), 80–88 (in Russian) | DOI

[6] Marchenkov S. S., “The $E$-closure Operator on the Set of Partial Many-valued Logic Functions”, Matematicheskie voprosy kibernetiki, 19, Fizmatlit, M., 2013, 227–238 (in Russian)

[7] Tarasov V. V., “Completeness Criterion for Partial Logic Functions”, Problemy Kibernetiki, 30, Nauka, M., 1975, 319–325 (in Russian)

[8] Yablonskij S. V., “On the Superpositions of Logic Functions”, Mat. Sbornik, 30:2(72) (1952), 329–348 (in Russian)

[9] M. Miyakawa, I. Stojmenović, D. Lau, I. Rosenberg, “Classification and basis enumerations in many-valued logics”, Proc. 17th International Symposium on Multi-Valued logic (Boston, 1987), 151–160

[10] L. Krnić, “Types of bases in the algebra of logic”, Glasnik matematicko-fizicki i astronomski. Ser 2, 20 (1965), 23–32

[11] D. Lau, M. Miyakawa, “Classification and enumerations of bases in $P_k(2)$”, Asian-European Journal of Mathematics, 1:2 (2008), 255–282 | DOI

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

[13] H. Machida, “Hyperclones on a two-element set”, Multiple-Valued Logic. An International Journal, 8:4 (2002), 495–501 | DOI

[14] H. Machida, J. Pantovic, “On maximal hyperclones on $\{0, 1\}$ — a new approach”, Proceedings of 38th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2008 (2008), 32–37

[15] B. A. Romov, “Hyperclones on a finite set”, Multiple-Valued Logic. An International Journal, 3:2 (1998), 285–300