Skip to main content
SpringerLink
Log in

Theory of Ω-(α-tautologies) in revised Kleene systems

  • Published:
Science in China Series E: Technological Sciences Aims and scope Submit manuscript

Abstract

That there are only three different kinds of α-tautologies in revised Kleene systems is proved first; then in finite case the diversity theorem of α-tautologies with α's larger than the mid-value is established. Lastly, also in finite case, a representation theorem of α-tautologies by means of tautologies is given.

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. Dubois, D., Lang, J., Prade, H., Fuzzy set in approximate reasoning,Fuzzy Sets and Systems, 1991, 40: 143.

    Article  MATH  MathSciNet  Google Scholar 

  2. Pavelka, J., On fuzzy logic I, II, III,Zeitschr. f. Math. Logik und Grundlagen d. Math., 1979, 25: 45–52; 119–134; 447–464.

    Article  MATH  MathSciNet  Google Scholar 

  3. Ying, M. S., The fundamental theorem of ultraproduct in Pavelka's logic,Zeitschr. f. Math. Logik und Grundlagen d. Math., 1992, 38: 197.

    Article  MATH  Google Scholar 

  4. Ying, M. S., Compactness, the Löwenheim-Skolem property and the direct product of lattices of truth values,Zeitschr. f. Math. Logik und Grundlagen d. Math., 1992, 38: 521.

    Article  MATH  Google Scholar 

  5. Wang, G. J., Quasi-formal deductive system for fuzzy propositional calculus,Chinese Science Bulletin, 1997, 42(14): 1154.

    Article  MATH  MathSciNet  Google Scholar 

  6. Wang, G. J., On the logic foundations of fuzzy modus ponens and fuzzy modus tollens,J. Fuzzy Math., 1997, 5(1): 229.

    MATH  MathSciNet  Google Scholar 

  7. Wang, G. J., On the logic foundation of fuzzy reasoning,Lecture Notes in Fuzzy Mathematics and Computer Science, Omaha, Nebraska: Creighton University, 1997, 4: 1.

    Google Scholar 

  8. Chen, Y. Y.,Fuzzy Control Technique and Its Applications (in Chinese), Beijing: Beijing Normal University Press, 1993.

    Google Scholar 

  9. Wang, G. J., Logic foundations of fuzzy reasoning,Proc. 4th Chinese Computer Conference (in Chinese), Beijing: Beijing Electronic Industry Press, 1997, 1108–1113.

    Google Scholar 

  10. Wang, G. J., Logic on certain algebras (I),J. Shaanxi Normal University (in Chinese), 1997, 25(1): 1.

    Google Scholar 

  11. Zhang, W. X., Liang, Y.,The Uncertainty Reasoning Principles (in Chinese), Xi'an: Xi'an Jiaotong University Press, 1996.

    Google Scholar 

  12. Rescher, N.,Many-valued Logic, New York: McGraw-Hill Book Company, 1969.

    MATH  Google Scholar 

  13. Bloc L., Borowik, P.,Many-valued Logic, Warsawa: Springer-Verlag, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Shaanxi Normal University, 710062, Xi'an, China

    Guojun Wang

Authors
  1. Guojun Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Project supported by the National Natural Science Foundation of China (Grant No. 19331030).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wang, G. Theory of Ω-(α-tautologies) in revised Kleene systems. Sci. China Ser. E-Technol. Sci. 41, 188–195 (1998). https://doi.org/10.1007/BF02919682

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02919682

Keywords

Search

Navigation