We give a classification of dual functions, they are m-al functions. We call a function m-al with respect to an operator if the operator lives any function unchanged after m times of using the operator. And 2 ≤ m ≤ k. Functions with different m have very different properties. We give theoretical results for clones of self-dual (m = 2) and self- -al (m = k) functions in k-valued logic at k ≤ 3. And we give numerical results for clones of self-dual and self-3-al functions in 3-valued logic. In particular, the inclusion graphs of clones of self-dual and of self-3-al functions are not a lattice.
Published in | Pure and Applied Mathematics Journal (Volume 6, Issue 2) |
DOI | 10.11648/j.pamj.20170602.11 |
Page(s) | 59-70 |
Creative Commons |
This is an Open Access article, distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution and reproduction in any medium or format, provided the original work is properly cited. |
Copyright |
Copyright © The Author(s), 2017. Published by Science Publishing Group |
Discreate Mathematics, K-Valued Function Algebra, Selfdual Functions
[1] | Malkov M. A., Classifications of closed sets of functions in multi-valued logic, SOP transactions on applied math. 1:3, 96-105 (2014), http://www.scipublish.com/journals/AM/papers/download/2102-970.pdf. |
[2] | Yablonskiy S. V.: Functional constructions in many-valued logics (Russian). Tr. Mat. Inst. Steklova, 515-142 (1958). |
[3] | Lau D., Functions algebra on finite sets, Springer (2006). |
[4] | Csàkàny B., All minimal clones on the three-element set, Acta Cybernet., 6, 227-238 (1983). |
[5] | Marchenkov S. S., Demetrovics J., Hannak L., On closed classes of self-dual functions in P3. (Russian) Metody Diskretn. Anal. 34, 38-73 (1980). |
[6] | Machida H., On closed sets of three-valued monotone logical functions. In: Colloquia Mathematica Societatis Janos Bolyai 28, Finite Algebra and multiple-valued logic, Szeged (Hungary), 441-467 (1979). |
[7] | Post E. L., The two-valued iterative systems of mathematical logic. Princeton Univ. Press, Princeton (1941). |
[8] | Mal’cev A. I., Iterative Post algebras, NGU, Novosibirsk, (Russian) (1976). |
[9] | Rosenberg, I. G., Űber die Verschiedenheit maximaler Klassen in Pk. Rev. Roumaine Math. Pures Appl. 14, 431–438 (1969). |
[10] | Malkov M. A. Classifications of Boolean Functions and Their Closed Sets, SOP transactions on applied math. 1:2, 172-193 (2014), http://www.scipublish.com/journals/AM/papers/download/2102-522.pdf. |
APA Style
M. A. Malkov. (2017). Clones of Self-Dual and Self-K-Al Functions in K-valued Logic. Pure and Applied Mathematics Journal, 6(2), 59-70. https://doi.org/10.11648/j.pamj.20170602.11
ACS Style
M. A. Malkov. Clones of Self-Dual and Self-K-Al Functions in K-valued Logic. Pure Appl. Math. J. 2017, 6(2), 59-70. doi: 10.11648/j.pamj.20170602.11
AMA Style
M. A. Malkov. Clones of Self-Dual and Self-K-Al Functions in K-valued Logic. Pure Appl Math J. 2017;6(2):59-70. doi: 10.11648/j.pamj.20170602.11
@article{10.11648/j.pamj.20170602.11, author = {M. A. Malkov}, title = {Clones of Self-Dual and Self-K-Al Functions in K-valued Logic}, journal = {Pure and Applied Mathematics Journal}, volume = {6}, number = {2}, pages = {59-70}, doi = {10.11648/j.pamj.20170602.11}, url = {https://doi.org/10.11648/j.pamj.20170602.11}, eprint = {https://article.sciencepublishinggroup.com/pdf/10.11648.j.pamj.20170602.11}, abstract = {We give a classification of dual functions, they are m-al functions. We call a function m-al with respect to an operator if the operator lives any function unchanged after m times of using the operator. And 2 ≤ m ≤ k. Functions with different m have very different properties. We give theoretical results for clones of self-dual (m = 2) and self- -al (m = k) functions in k-valued logic at k ≤ 3. And we give numerical results for clones of self-dual and self-3-al functions in 3-valued logic. In particular, the inclusion graphs of clones of self-dual and of self-3-al functions are not a lattice.}, year = {2017} }
TY - JOUR T1 - Clones of Self-Dual and Self-K-Al Functions in K-valued Logic AU - M. A. Malkov Y1 - 2017/03/10 PY - 2017 N1 - https://doi.org/10.11648/j.pamj.20170602.11 DO - 10.11648/j.pamj.20170602.11 T2 - Pure and Applied Mathematics Journal JF - Pure and Applied Mathematics Journal JO - Pure and Applied Mathematics Journal SP - 59 EP - 70 PB - Science Publishing Group SN - 2326-9812 UR - https://doi.org/10.11648/j.pamj.20170602.11 AB - We give a classification of dual functions, they are m-al functions. We call a function m-al with respect to an operator if the operator lives any function unchanged after m times of using the operator. And 2 ≤ m ≤ k. Functions with different m have very different properties. We give theoretical results for clones of self-dual (m = 2) and self- -al (m = k) functions in k-valued logic at k ≤ 3. And we give numerical results for clones of self-dual and self-3-al functions in 3-valued logic. In particular, the inclusion graphs of clones of self-dual and of self-3-al functions are not a lattice. VL - 6 IS - 2 ER -