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

Science in China, Series E: Technological Sciences

Volumn 41, Issue 2, 1998, Pages 188-195

  Wang, Guojun ^a  

^a SHAANXI NORMAL UNIVERSITY   (China)

Author keywords

Diversity theorem of tautologies; Exact tautology; Representation theorem of tautologies; Revised kleene system; ( tautology)

Indexed keywords

EID: 0000148028     PISSN: 10069321     EISSN: None     Source Type: Journal    
DOI: 10.1007/bf02919682     Document Type: Article

References (13)

1. Dubois, D., Lang, J., Prade, H., Fuzzy set in approximate reasoning, Fuzzy Sets and Systems, 1991, 40: 143.
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.
3. Ying, M. S., The fundamental theorem of ultraproduct in Pavelka's logic, Zeitschr. f. Math. Logik und Grundlagen d. Math., 1992, 38: 197.
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.
5. Wang, G. J., Quasi-formal deductive system for fuzzy prepositional calculus, Chinese Science Bulletin, 1997, 42(14): 1154.
6. Wang, G. J., On the logic foundations of fuzzy modus ponens and fuzzy modus tollens, J. Fuzzy Math., 1997, 5(1): 229.
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.
8. Chen, Y. Y., Fuzzy Control Technique and Its Applications (in Chinese), Beijing: Beijing Normal University Press, 1993.
9. Wang, G. J., Logic foundations of fuzzy reasoning, Proc. 4th Chinese Computer Conference (in Chinese), Beijing: Beijing Electronic Industry Press, 1997, 1108-1113.
10. Wang, G. J., Logic on certain algebras (I), J. Shaanxi Normal University (in Chinese), 1997, 25(1): 1.
11. Zhang, W. X., Liang, Y., The Uncertainty Reasoning Principles (in Chinese), Xi'an: Xi'an Jiaotong University Press, 1996.
12. Rescher, N., Many-valued Logic, New York: McGraw-Hill Book Company, 1969.
13. Bloc, L., Borowik, P., Many-valued Logic, Warsawa: Springer-Verlag, 1993.