Skip to main content
SpringerLink
Log in

A minimum adequate set of multi-valued logic

  • Research Article
  • Published:
Control Theory and Technology Aims and scope Submit manuscript

Abstract

An adequate set of k-valued logic is provided, which contains only two operators. It is also proved that this adequate set is of minimum size.

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. Derler, P., Lee, E., & Vincentelli, A. (2012). Modeling cyber-physical systems. Proceedings of the IEEE, 100(1), 13–28.

    Article  Google Scholar 

  2. Lin, H., & Antsakli, P. (2014). Hybrid dynamical systems: An introduction to control and verification. Foundations and Trends in Systems and Control, 1(1), 1–172.

    Article  Google Scholar 

  3. Hu, M., & Mouftah, H. (1987). Fault-tolerant system using 3-value logic circuits. IEEE Transactions on Reliability, 36(2), 227–231.

    Article  Google Scholar 

  4. Luo, Z., Hu, M., & Chen, Y. (1992). Theory and applications of multiple valued logic. Science Press (in Chinese).

    Google Scholar 

  5. Cheng, D., Qi, H., & Zhao, Y. (2012). An introduction to semi-tensor product of matrices and its applications. World Scientific.

    Book  Google Scholar 

  6. Haddad, L. (1992). Generating sequences for \(k\)-valued logic. Information Sciences, 65(3), 275–282.

    Article  MathSciNet  Google Scholar 

  7. Kundu, S. (1988). Basis for synthesis of switching functions. Digital Equipment Corp.

    MATH  Google Scholar 

  8. Cheng, D., Qi, H., & Li, Z. (2011). Analysis and control of Boolean networks: A semi-tensor product approach. Springer.

    Book  Google Scholar 

  9. Li, H., Wang, S., Li, X., & Zhao, G. D. (2020). Perturbation analysis for controllability of logical control networks. SIAM Journal on Control and Optimization, 58(6), 3632–3657.

    Article  MathSciNet  Google Scholar 

  10. Li, Y., Li, H., & Ding, X. (2020). Set stability of switched delayed logical networks with application to finite-field consensus. Automatica, 113, 108768.

    Article  MathSciNet  Google Scholar 

  11. Zhao, G., Wang, Y., & Li, H. (2018). A matrix approach to the modeling and analysis of networked evolutionary games with time delays. IEEE/CAA Journal of Automatica Sinica, 5(4), 818–826.

    Article  MathSciNet  Google Scholar 

  12. Cheng, D., Liu, Z., & Qi, H. (2020). Completeness and normal form of multi-valued logical functions. Journal of the Franklin Institute, 357(14), 9871–9884.

    Article  MathSciNet  Google Scholar 

  13. Cheng, D., Feng, J., Zhao, J., & Fu, S. H. (2021). On adequate sets of multi-valued logic. Journal of the Franklin Institute. https://doi.org/10.1016/j.jfranklin.2021.07.003.

    Article  MATH  Google Scholar 

Download references

Acknowledgements

This work was supported partly by the National Natural Science Foundation of China (Nos.61773371, 61733018, 61877036) and the Natural Science Fund of Shandong Province (No. ZR2019MF002).

Author information

Authors and Affiliations

  1. Research Center of Semi-tensor Product of Matrices: Theory and Applications, Liaocheng University, Liaocheng, China

    Daizhan Cheng, Jianli Zhao & Shihua Fu

  2. Key Laboratory of Systems and Control, AMSS, Chinese Academy of Sciences, Beijing, 100190, China

    Daizhan Cheng

  3. School of Mathematics, Shandong University, Jinan, China

    Jun-e Feng

Authors
  1. Daizhan Cheng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jun-e Feng
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jianli Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Shihua Fu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jun-e Feng.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cheng, D., Feng, Je., Zhao, J. et al. A minimum adequate set of multi-valued logic. Control Theory Technol. 19, 425–429 (2021). https://doi.org/10.1007/s11768-021-00064-w

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11768-021-00064-w

Keywords

Search

Navigation