Skip to main content
SpringerLink
Log in

Closed classes of the three-valued logic generated by systems containing symmetric functions

  • Published:
Moscow University Mathematics Bulletin Aims and scope

Abstract

Closed classes of functions of the three-valued logic whose generating systems include nonmonotone symmetric functions taking values in the set {0, 1} are studied. It is shown that in some cases the problems of existence of a basis and existence of a finite basis can be reduced to similar problem for reduced generating systems.

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. P. L. Post, “Introduction to a General Theory of Elementary Propositions,” Amer. J. Math. 43(3), 163 (1921).

    Article  MathSciNet  MATH  Google Scholar 

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

  3. Yu. I. Yanov and A. A. Muchnik, “Existence of k-Valued Closed Classes Having no Finite Basis,” Doklady Akad. Nauk SSSR 127(1), 44 (1959).

    MATH  Google Scholar 

  4. A. B. Mikhailovich, “Closed Classes Generated by Symmetric Functions in the Three-Valued Logic,” Vestn. Mosk. Univ., Matem. Mekhan. 2008, No. 4, 54–57.

  5. A. B. Mikhailovich, “Classes Generated by Monotone Symmetric Functions in the Three-Valued Logic,” Vestn. Mosk. Univ., Matem. Mekhan. 2009, No. 1, 33–37.

  6. S. V. Yablonskii, Introduction to Discrete Mathematics (Vysshaya Shkola, Moscow, 2001) [in Russian].

    Google Scholar 

  7. A. B. Mikhailovich, “Properties of Closed Classes of Functions of the Three-Valued Logic Generated by Symmetric Functions,” in Proc. X Int. Workshop “Discrete Mathematics and its Applications,” Moscow State University, Moscow, February 1–6, 2010 (Moscow State Univ., Moscow, 2010), pp. 193–196.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Electronics and System Engineering, Moscow State Forest University, 1st Institutskaya st. 1, Mytischi, Moscow region, 141005, Russia

    A. V. Mikhailovich

Authors
  1. A. V. Mikhailovich
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Original Russian Text © A.V. Mikhailovich, 2012, published in Vestnik Moskovskogo Universiteta, Matematika. Mekhanika, 2012, Vol. 67, No. 1, pp. 58–62.

About this article

Cite this article

Mikhailovich, A.V. Closed classes of the three-valued logic generated by systems containing symmetric functions. Moscow Univ. Math. Bull. 67, 41–45 (2012). https://doi.org/10.3103/S002713221201007X

Download citation

  • Received:

  • Published:

  • Issue Date:

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

Keywords

Search

Navigation