Skip to main content
SpringerLink
Log in

Classes generated by monotone symmetric functions in the three-valued logic

  • Published:
Moscow University Mathematics Bulletin Aims and scope

Abstract

Closed classes of functions of the three-valued logic whose generating systems consist of monotone symmetric functions taking values in the set {0, 1} are considered. Criteria for existence of a basis and for existence of a finite basis are obtained for closed classes from the family under consideration

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

    Article  MATH  MathSciNet  Google Scholar 

  2. E. L. Post, The Two-Valued Iterative Systems of Mathematical Logic (Princeton Univ. Press, 1941).

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

    MATH  Google Scholar 

  4. A. V. Mikhailovich, “Closed Classes Generated by Symmetric Functions in the Three-Valued Logic,” Vestn. Mosk. Univ., Matem. Mekhan. No. 4, 54 (2008) [Moscow Univ. Math. Bulletin 63 (4) 46 (2008)].

  5. A. V. Mikhailovich, “On Properties of Symmetric Functions in Three-Valued Logic,” in Proc. IX Intern. Seminar “Discrete Mathematics and its Applications,” Moscow, MSU, June 18–23, 2007 (Center of Applied Researches, Faculty of Mechanics and Mathematics, Moscow State University, Moscow, 2007), pp. 165–167 [in Russian].

    Google Scholar 

  6. A. V. Mikhailovich, “On Closed Classes in P 3 Generated by Monotone Symmetric Functions,” in Proc. XV Intern. Conf. “Problems in Theoretical Cybernetics”, Kazan’, June 2–7, 2008 (Kazan’, 2008), p. 83 [in Russian].

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mechanics and Mathematics, Moscow State University, Leninskie Gory, Moscow, 119899, 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, 2009, published in Vestnik Moskovskogo Universiteta, Matematika. Mekhanika, 2009, Vol. 64, No. 1, pp. 33–37.

About this article

Cite this article

Mikhailovich, A.V. Classes generated by monotone symmetric functions in the three-valued logic. Moscow Univ. Math. Bull. 64, 34–38 (2009). https://doi.org/10.3103/S0027132209010082

Download citation

  • Received:

  • Published:

  • Issue Date:

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

Keywords

Search

Navigation