Skip to main content
SpringerLink
Log in

On the Classes of Autodual Functions Implicitly Maximal in \(\boldsymbol{P}_{\boldsymbol{k}}\)

  • Published:
Moscow University Mathematics Bulletin Aims and scope

Abstract

The problem of implicit expressibility in many-valued logics is considered. Necessary and sufficient conditions for a class of autodual functions to be implicitly maximal are 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

Notes

  1. From now on, \(k\) is understood as a natural number, not less that two.

REFERENCES

  1. A. V. Kuznetsov, ‘‘Means for detection of nondeducibility and inexpressibility,’’ in Logical Inference (Nauka, Moscow, 1979), pp. 5–33.

    Google Scholar 

  2. O. M. Kasim-Zade, ‘‘Implicit completeness in the \(k\)-valued logic,’’ Moscow Univ. Math. Bull. 62, 90–94 (2007). https://doi.org/10.3103/S0027132207030023

    Article  MATH  Google Scholar 

  3. O. M. Kasim-Zade, ‘‘Implicit expressibility in two-valued logic and cryptoisomorphisms of two-element algebras,’’ Dokl. Math. 53, 366–368 (1996).

    MathSciNet  MATH  Google Scholar 

  4. M. V. Starostin, ‘‘Implicitly maximal classes and implicit completeness criterion in the three-valued logic,’’ Moscow Univ. Math. Bull. 73, 82–84 (2018). https://doi.org/10.3103/S0027132218020067

    Article  MathSciNet  MATH  Google Scholar 

  5. E. A. Orekhova, ‘‘On a criterion of implicit incompleteness in three-valued logic,’’ Mat. Vopr. Kibern. 12, 27–74 (2003).

    Google Scholar 

  6. S. V. Yablonskii, ‘‘Functional constructions in \(k\)-valued logic,’’ Tr. Mat. Inst. Akad. Nauk SSSR 51, 5–142 (1958).

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Chair of Discrete Mathematics, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University, Moscow, Russia

    M. V. Starostin

Authors
  1. M. V. Starostin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to M. V. Starostin.

Ethics declarations

The author declares that he has no conflicts of interest.

Additional information

Translated by E. Oborin

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Starostin, M.V. On the Classes of Autodual Functions Implicitly Maximal in \(\boldsymbol{P}_{\boldsymbol{k}}\). Moscow Univ. Math. Bull. 77, 154–159 (2022). https://doi.org/10.3103/S0027132222030093

Download citation

  • Received:

  • Published:

  • Issue Date:

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

Keywords:

Search

Navigation