This paper considers fuzzifying topologies, a special case of I-fuzzy topologies (bifuzzy topologies), introduced by Ying. It investigates topological notions defined by means of -open sets when these are planted into...This paper considers fuzzifying topologies, a special case of I-fuzzy topologies (bifuzzy topologies), introduced by Ying. It investigates topological notions defined by means of -open sets when these are planted into the frame-work of Ying’s fuzzifying topological spaces (by Lukasiewicz logic in [0, 1]). In this paper we introduce some sorts of operations, called general fuzzifying operations from P(X) to , where (X, τ) is a fuzzifying topological space. By making use of them we contract neighborhood structures, derived sets, closure operations and interior operations.展开更多
The relationship among diverse fuzzy semantics vs. the corresponding logic consequence operators has been analyzed systematically The results that compactness and logical compactness of fuzzy semantics are equivalent ...The relationship among diverse fuzzy semantics vs. the corresponding logic consequence operators has been analyzed systematically The results that compactness and logical compactness of fuzzy semantics are equivalent to compactness and continuity of the logic consequence operator induced by the semantics respectively have been proved under certain conditions. A general compactness theorem of fuzzy semantics have been established which says that every fuzzy semantics defined on a free algebra with members corresponding to continuous functions is compact.展开更多
The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integ...The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integrated truth function τ when n converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Lukasiewicz logic and the continuous valued Lukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.展开更多
文摘This paper considers fuzzifying topologies, a special case of I-fuzzy topologies (bifuzzy topologies), introduced by Ying. It investigates topological notions defined by means of -open sets when these are planted into the frame-work of Ying’s fuzzifying topological spaces (by Lukasiewicz logic in [0, 1]). In this paper we introduce some sorts of operations, called general fuzzifying operations from P(X) to , where (X, τ) is a fuzzifying topological space. By making use of them we contract neighborhood structures, derived sets, closure operations and interior operations.
文摘The relationship among diverse fuzzy semantics vs. the corresponding logic consequence operators has been analyzed systematically The results that compactness and logical compactness of fuzzy semantics are equivalent to compactness and continuity of the logic consequence operator induced by the semantics respectively have been proved under certain conditions. A general compactness theorem of fuzzy semantics have been established which says that every fuzzy semantics defined on a free algebra with members corresponding to continuous functions is compact.
基金This work was supported by the National Natural Science Foundation of China(Grant No．10331010)
文摘The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integrated truth function τ when n converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Lukasiewicz logic and the continuous valued Lukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.
