In this paper, we present a new vision for studying ${F}$-open, ${F}$-continuous, and ${F}$-irresolute function in $(L,M)$-fuzzy topological spaces based on the implication operation and $(L,M)$-fuzzy ${F}$-open operator cite{2}. These kinds of functions are generalized with their elementary properties to $(L,M)$-fuzzy topological spaces setting based on graded concepts. Moreover, a systematic ...

A fuzzy implication, commonly defined as a two-place operation on the unit interval, is an extension of the classical binary implication. It plays important roles in both mathematical and applied sides of fuzzy set theory. Besides the basic axioms, there are many potential fuzzy implication axioms, among which eight are widely used in the literature. Different fuzzy implications satisfying diff...

In this paper, we introduce a new algebra called ‘EQ-algebra’, which is an alternative algebra of truth values for formal fuzzy logics. It is specified by replacing implication as the main operation with a fuzzy equality. Namely, EQ-algebra is a semilattice endowed with a binary operation of fuzzy equality and a binary operation of multiplication. Implication is derived from the fuzzy equality ...

In this paper, we will develop a class of logics for reasoning about qualitative and quantitative uncertainty. The semantics of the logics is uniformly based on possibility theory. Each logic in the class is parameterized by a t-norm operation on [0,1], and we express the degree of implication between the possibilities of two formulas explicitly by using residuated implication with respect to t...

In this paper, we will develop a class of logics for reasoning about qualitative and quantitative uncertainty. The semantics of the logics is uniformly based on possibility theory. Each logic in the class is parameterized by a t-norm operation on 0,1], and we express the degree of implication between the possibilities of two formulas explicitly by using residuated implication with respect to th...

We show that the class of Metropolis-Rota implication algebras can be given a universal axiomatization using an operation closely related to composition in oriented matroids. Lastly we describe the role of our new operation in the collapse of an MRalgebra.

In the area of inductive learning, generalization is a main operation, and the usual deenition of induction is based on logical implication. Recently there has been a rising interest in clausal representation of knowledge in machine learning. Almost all inductive learning systems that perform generalization of clauses use the relation-subsumption instead of implication. The main reason is that ...

In the area of inductive learning, generalization is a main operation, and the usual deenition of induction is based on logical implication. Recently there has been a rising interest in clausal representation of knowledge in machine learning. Almost all inductive learning systems that perform generalization of clauses use the relation-subsumption instead of implication. The main reason is that ...

1. Formulation of the problem 1:1: It is necessary to represent implication in expert systems Our knowledge of complex systems is often incomplete, and therefore, we have to rely on the expert's statements, These statements are usually formulated not in mathematical terms, but in words of natural languages. Fuzzy logic is a methodology for formalizing such statements. Since a large part of expe...