模糊BIK~+-逻辑与非可换模糊逻辑(英文)

为了建立各种可换和非可换模糊逻辑的公共基础(蕴涵片段),提出了一个新的蕴涵逻辑,称为模糊BIK+-逻辑。证明了这一新的蕴涵逻辑的可靠性和弱完备性定理,同时讨论了模糊BIK+-逻辑与各种模糊逻辑之间的关系,以及与它们配套的代数结构之间的关系。     

Extending possibilistic logic over Gödel logic

In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of possibility theory) for Gödel logic formulas. Based on different characterizations of necessity measures on fuzzy sets, a group of logics with Kripke style semantics is built over a restricted language, namely, a two-level language composed of non-modal and modal formulas, the latter, moreover, not allowing for nested applications of the modal operator N. Completeness and some computational complexity results are shown.     

Weakly Implicative (Fuzzy) Logics I: Basic Properties

This paper presents two classes of propositional logics (understood as a consequence relation). First we generalize the well-known class of implicative logics of Rasiowa and introduce the class of weakly implicative logics. This class is broad enough to contain many “usual” logics, yet easily manageable with nice logical properties. Then we introduce its subclass–the class of weakly implicative fuzzy logics. It contains the majority of logics studied in the literature under the name fuzzy logic. We present many general theorems for both classes, demonstrating their usefulness and importance.The work was supported by grant A100300503 of the Grant Agency of the Academy of Sciences of the Czech Republic and by Institutional Research Plan AVOZ10300504.     

A normal form which preserves tautologies and contradictions in a class of fuzzy logics

Most of the normal forms for fuzzy logics are versions of conjunctive and disjunctive classical normal forms. Unfortunately, they do not always preserve tautologies and contradictions which is important, for example, for automated theorem provers based on refutation methods.De Morgan implicative systems are triples like the De Morgan systems, which consider fuzzy implications instead of t-conorms. These systems can be used to evaluate the formulas of a propositional language based on the logical connectives of negation, conjunction and implication. Therefore, they determine different fuzzy logics, called implicative De Morgan fuzzy logics.In this paper, we will introduce a normal form for implicative De Morgan systems and we will show that for implicative De Morgan fuzzy logics whose t-norms are strict, this normal form preserves contradictions as well as tautologies.     

An Extension Principle for Fuzzy Logics

Let S be a set, P(S) the class of all subsets of S and F(S) the class of all fuzzy subsets of S. In this paper an “extension principle” for closure operators and, in particular, for deduction systems is proposed and examined. Namely we propose a way to extend any closure operator J defined in P(S) into a fuzzy closure operator J* defined in F(S). This enables us to give the notion of canonical extension of a deduction system and to give interesting examples of fuzzy logics. In particular, the canonical extension of the classical propositional calculus is defined and it is showed its connection with possibility and necessity measures. Also, the canonical extension of first order logic enables us to extend some basic notions of programming logic, namely to define the fuzzy Herbrand models of a fuzzy program. Finally, we show that the extension principle enables us to obtain fuzzy logics related to fuzzy subalgebra theory and graded consequence relation theory. Mathematics Subject Classification : 03B52.     

Formal systems of fuzzy logic and their fragments

Formal systems of fuzzy logic (including the well-known Łukasiewicz and Gödel–Dummett infinite-valued logics) are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much wider scope of applicability. In particular, we show how many of these fragments are really distinct and we find axiomatic systems for most of them. In fact, we construct strongly separable axiomatic systems for eight of our nine logics. We also fully answer the question for which of the studied fragments the corresponding class of algebras forms a variety. Finally, we solve the problem how to axiomatize predicate versions of logics without the lattice disjunction (an essential connective in the usual axiomatic system of fuzzy predicate logics).     

Bilattices for deductions in multi-valued logic

In this exploratory paper we propose a framework for the deduction apparatus of multi-valued logics based on the idea that a deduction apparatus has to be a tool to manage information on truth values and not directly truth values of the formulas. This is obtained by embedding the algebraic structure V defined by the set of truth values into a bilattice B. The intended interpretation is that the elements of B are pieces of information on the elements of V. The resulting formalisms are particularized in the framework of fuzzy logic programming. Since we see fuzzy control as a chapter of multi-valued logic programming, this suggests a new and powerful approach to fuzzy control based on positive and negative conditions.     

Fuzzy propositional logics

Fuzzy logic $\text{L}$_∞9 considered in connection with fuzzy sets theory, is a special theory, is a special many valued logic with truth-value sets [0, 1], which has been studied already by Lukasiewicz. We consider also his versions $\text{L}$_m for m ? 2 with finite truth-value sets. In all cases we add two further propositional connectives, one conjunction and one disjunction. For these logics we give a list of tautologies, consider relations between their sets of tautologies, prove their compactness, and mention some further results.     

Normal forms for fuzzy logics: a proof-theoretic approach

A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to a number of prominent fuzzy logics using hypersequent rules adapted from calculi defined in the literature. In particular, a normal form with simple McNaughton functions as literals is generated for ?ukasiewicz logic, and normal forms with simple implicational formulas as literals are obtained for Gödel logic, Product logic, and Cancellative hoop logic.     

A type of fuzzy ring

In this study, by the use of Yuan and Lee’s definition of the fuzzy group based on fuzzy binary operation we give a new kind of fuzzy ring. The concept of fuzzy subring, fuzzy ideal and fuzzy ring homomorphism are introduced, and we make a theoretical study their basic properties analogous to those of ordinary rings.      

Fuzzy probability measures

In [4] Höhle has defined fuzzy measures on G-fuzzy sets [2] where G stands for a regular Boolean algebra. Consequently, since the unit interval is not complemented, fuzzy sets in the sense of Zadeh [8] do not fit in this framework in a straightforward manner. It is the purpose of this paper to continue the work started in [5] which deals with [0,1]-fuzzy sets and to give a natural definition of a fuzzy probability measure on a fuzzy measurable space [5]. We give necessary and sufficient conditions for such a measure to be a classical integral as in [9] in the case the space is generated. A counterexample in the general case is also presented. Finally it is shown that a fuzzy probability measure is always an integral (if the space is generated) if we replace the operations ∧ and ∨ by the t-norm T_o and its dual S₀ (see [6]).     

半群上的模糊群同余

设 S是一个半群 ,ρ是 S上的一个模糊同余。引进半群的模糊半正规子半群的概念 ,证明ρ是 S上的一个模糊群同余当且仅当它的模糊核 K(ρ)是 S的模糊半正规子半群 ;而且对每个给定的模糊半正规子半群 μ可以构造一个模糊同余 ρμ 使得它的模糊核 K(ρμ) =μ.     

模糊子群直积的若干性质

在Ray的论文[Onproduct of fuzzy subgroups105（1999）181—183]中，作者给出了模糊子群直积在min下的一些性质。在本文中我们将给出更多关于模糊子群直积的性质，并推广到模糊子环上；最后讨论了模糊子群的直积在t-模下的一些性质。     

模糊码的特性

讨论模糊码、最大模糊码的特性。第二部分中给出模糊码的两个等价条件（定理2.1,定理2.2）,获得判断一模糊语言是否为模糊码的准则（定理2.3）和算法（定理2.4）,第三部分中通过模糊语言的某种数量方式刻画了最大模糊码（定理3.2,定理3.3）。     

On fuzzy almost continuous convergence in fuzzy function spaces

In this paper, we study the fuzzy almost continuous convergence of fuzzy nets on the set FAC(X, Y) of all fuzzy almost continuous functions of a fuzzy topological space X into another Y. Also, we introduce the notions of fuzzy splitting and fuzzy jointly continuous topologies on the set FAC(X, Y) and study some of its basic properties.     

Residuated logics based on strict triangular norms with an involutive negation

In general, there is only one fuzzy logic in which the standard interpretation of the strong conjunction is a strict triangular norm, namely, the product logic. We study several equations which are satisfied by some strict t‐norms and their dual t‐conorms. Adding an involutive negation, these equations allow us to generate countably many logics based on strict t‐norms which are different from the product logic. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)