Skip to main content
SpringerLink
Log in

Classes of functions of multi-valued logic closed with respect to superposition and inversion operations

  • Published:
Moscow University Mathematics Bulletin Aims and scope

Abstract

On the set of functions of the k-valued logic the closure with respect to composition and inversion operations is considered. A full description of such closed classes is obtained.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. S. V. Yablonskii, Introduction to Discrete Mathematics (Vysshaya Shkola, Moscow, 2001; Mir Publishers, Moscow, 1989).

    Google Scholar 

  2. D. Lau, Function Algebras on Finite Sets: a Basic Course on Many-Valued Logic and Clone Theory (Springer Verlag, Berlin, 2006).

    MATH  Google Scholar 

  3. E. L. Post, “Introduction to a General Theory of Elementary Propositions,” Amer. J. Math. 43 (3), 163 (1921).

    Article  MathSciNet  MATH  Google Scholar 

  4. E. L. Post, “The Two-Valued Iterative Systems of Mathematical Logic,” Ann. Math. Stud. 5, 1941.

  5. Yu. I. Yanov and A. A. Muchnik, “The Existence of a k-Valued Closed Class that Has No Finite Basis,” Doklady Akad. Nauk SSSR 127 (1), 44 (1959).

    MathSciNet  MATH  Google Scholar 

  6. I. G. Rosenberg, “La Structure des Functions de Plusieurs Variables sur un Ensemble Fini,” C. r. Acad. sci. Paris., 260, 3817 (1965).

    MathSciNet  MATH  Google Scholar 

  7. S. V. Yablonskii, G. P. Gavrilov, and A. A. Nabebin, Pre-Complete Classes in Multi-Valued Logic (Izd-vo MEI, Moscow, 1997) [in Russian].

    Google Scholar 

  8. A. V. Mikhailovich, “The Closed Classes of Functions of Multi-Valued Logic, Generated by Symmetric Functions,” in Math. Problems of Cybernetics (2013), Issue 18, pp. 123–212.

    Google Scholar 

  9. A. B. Ugol’nikov, “Some Problems Concerning Multi-Valued Logics,” in Proc. X Int. Workshop “Discrete Mathematics and its Applications” (Moscow, MSU, February 1–6, 2010) Ed. by O. M. Kasim–Zade (Moscow State Univ., Mech. Math. Faculty, Moscow, 2010), pp. 18–34.

    Google Scholar 

  10. S. S. Marchenkov, “S-classification of Functions of Many-Valued Logic,” Diskr. Matem. 9 (3), 125 (1997) [Discrete Math. and App., 7 (4), 353 (1997)].

    Article  MathSciNet  MATH  Google Scholar 

  11. O. S. Tarasova, “The Classes of Three-Valued Logic that are Closed with Respect to Superposition and Permutation Operations,” in Math. Problems of Cybernetics (2004), Issue 13, pp. 59–112.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Moscow State University, Faculty of Mechanics and Mathematics, Leninskie Gory, Moscow, 119991, Russia

    D. E. Starodubtsev

Authors
  1. D. E. Starodubtsev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to D. E. Starodubtsev.

Additional information

Original Russian Text © D.E. Starodubtsev, 2017, published in Vestnik Moskovskogo Universiteta, Matematika. Mekhanika, 2017, Vol. 72, No. 2, pp. 3–7.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Starodubtsev, D.E. Classes of functions of multi-valued logic closed with respect to superposition and inversion operations. Moscow Univ. Math. Bull. 72, 45–48 (2017). https://doi.org/10.3103/S0027132217020012

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0027132217020012

Search

Navigation