论文信息 - Theory of Ω-(α-tautologies) in revised Kleene systems

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

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.

Guojun Wang | Guojun Wang

[1] D. Dubois,et al. Fuzzy sets in approximate reasoning, part 2: logical approaches , 1991 .

[2] Wang Guojun. A formal deductive system for fuzzy propositional calculus , 1997 .

[3] D. Dubois,et al. Fuzzy sets in approximate reasoning, part 1: inference with possibility distributions , 1999 .

[4] Mingsheng Ying. Compactness, the LöWenheim-Skolem Property and the Direct Product of Lattices of Truth Values , 1992, Math. Log. Q..

[5] Mingsheng Ying. The Fundamental Theorem of Ultraproduct in Pavelka's Logic , 1992, Math. Log. Q..

[6] Guojun Wang,et al. On the Logic Foundation of Fuzzy Reasoning , 1999, Inf. Sci..

[7] Jan Pavelka,et al. On Fuzzy Logic I Many-valued rules of inference , 1979, Math. Log. Q..

[8] N. Rescher. Many Valued Logic , 1969 .

[9] D. Dubois,et al. Fuzzy sets in approximate reasoning. I, Inference with possibility distributions , 1991 .