Hájek in [5] introduced a complete residuated lattice which is an algebraic structure for many valued logic. It is an important mathematical tool for algebraic structure of fuzzy contexts, see [2,6,9,10]. Recently, Molodtsov in [13] introduced the soft set as a mathematical tool for dealing information as the uncertainty of data in engineering, physics, computer sciences and many other diverse ...

Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...

In this research article, a new connection between serial fuzzy relations and an extended version of rough sets in algebraic structure quantale is established. The notion consists successor class overlap the element quantale. Thus approximation space based on via overlaps quantales, are introduced. main purpose study to provide basic structures fuzzy-relations. way, acquires certain appealing p...

In this paper we extend the notion of  degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and  introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...

In this paper, let $L$ be a completeresiduated lattice, and let {bf Set} denote the category of setsand mappings, $LF$-{bf Pos} denote the category of $LF$-posets and$LF$-monotone mappings, and $LF$-{bf CSLat}$(sqcup)$, $LF$-{bfCSLat}$(sqcap)$ denote the category of $LF$-completelattices and $LF$-join-preserving mappings and the category of$LF$-complete lattices and $LF$-meet-preserving mapping...

In this paper we introduce an algebraic fuzzy equation of degree n with fuzzy coefficients and crisp variable, and we present an iterative method to find the real roots of such equations, numerically. We present an algorithm to generate a sequence that can be converged to the root of an algebraic fuzzy equation. 2007 Elsevier Inc. All rights reserved. MSC: 12E12; 39B22; 65H05

This paper proposes a new topic in substructural logic for use in research joining the fields of relevance and fuzzy logics. For this, we consider old and new relevance principles. We first introduce fuzzy systems satisfying an old relevance principle, i.e., Dunn’s weak relevance principle. We present ways to obtain relevant companions of the weakening-free uninorm (based) systems introduced by...

This paper provides an algebraic characterization of mathematical structures formed by cartesian products of fuzzy relations with sup-min composition. A simple proof of a representation theorem for Boolean relation algebras satisfying Tarski rule and point axiom was given by G. Schmidt and T. Strohlein, and cartesian products of Boolean relation algebras were investigated by B. J onsson and A....

The paper presents a short review of some main properties of the most general fuzzy systems used in a large class of practical applications. The fuzzy systems, implemented using different rule bases, fuzzy values, membership functions, fuzzyfication and defuzzification methods, may be classified based on these fuzzy methods used in their development. This paper proposes a unitary theory for des...