×

The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set. (English) Zbl 1516.06016

Summary: Multioperations are operations from a finite set A to set of all subsets of A. The usual composition operator leads to a continuum of closed sets. Therefore, the research of closure operators, which contain composition and other operations becomes necessary. In the paper, the closure of multioperations that can be obtained using the operations of adding dummy variables, identifying variables, composition operator, and operator with the equality predicate branching is studied. We obtain eleven precomplete closed classes of multioperations of rank 2 and prove the completeness criterion. The diagram of inclusions for one of the precomplete class is presented.

MSC:

06E30 Boolean functions
08A40 Operations and polynomials in algebraic structures, primal algebras
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Doroslovacki, R.; Pantovic, J.; Vojvodic, G., One Interval in the Lattice of Partial Hyperclones, Chechoslovak Mathematical Journal, 55-3, 719-724 (2005) · Zbl 1081.08005
[2] Lau, D., Function Algebras on Finite Sets. A basic course on many-valued logic and clone theory., 668 (2006) · Zbl 1105.08001
[3] Lo Czu, Kai, Maximal closed classes on the Set of Partial Many-valued Logic Functions, Kiberneticheskiy Sbornik, 131-141 (1988)
[4] Lo Czu, Kai, Completeness theory on Partial Many-valued Logic Functions, Kiberneticheskiy Sbornik, 142-157 (1988)
[5] Machida, H., Hyperclones on a Two-Element Set, Multiple-Valued Logic. An International Journal, 8-4, 495-501 (2002) · Zbl 1025.08001
[6] Machida, H.; Pantovic, J., On Maximal Hyperclones on {0, 1} — a new approach, Proceedings of 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 32-37 (2008)
[7] Marchenkov, S. S., On the Expressibility of Functions of Many-Valued Logic in Some Logical-Functional Classes, Discrete Math. Appl., 6, 563-581 (1999) · Zbl 0974.03028
[8] Marchenkov, S. S., Closure Operators with Predicate Branching, Bulletin of Moscow State University. Series 1. Mathematics and Mechanics, 6, 37-39 (2003) · Zbl 1084.03018
[9] Marchenkov, S. S., The Closure Operator with the Equality Predicate Branching on the Set of Partial Boolean Functions, Discrete Math. Appl., 4, 381-389 (2008) · Zbl 1171.94381
[10] Marchenkov, S. S., The E-closure Operator on the Set of Partial Many-Valued Logic Functions, Mathematical problems in cybernetics, 227-238 (2013)
[11] Matveev, S. S., Construction of All E-closed Classes of Partial Boolean Functions, Mathematical problems in cybernetics, 239-244 (2013)
[12] Panteleev, V. I., The Completeness Criterion for Depredating Boolean Functions, Vestnik of Samara State University. Natural Science Series., 2-68, 60-79 (2009) · Zbl 1319.03064
[13] Panteleev, V. I., Completeness Criterion for Underdetermined Partial Boolean Functions, Vestnik Novosibirsk State University. Series Mathematics, 3, 95-114 (2009) · Zbl 1249.06037
[14] Panteleev, V. I.; Riabets, L. V., The Closure Operator with the Equality Predicate Branching on the Set of Hyperfunctions on Two-Element Set, The Bulletin of Irkutsk State University. Series Mathematics, 93-105 (2014) · Zbl 1347.06017
[15] Romov, B. A., Hyperclones on a Finite Set, Multiple-Valued Logic, 285-300 (1998) · Zbl 0939.08002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.