real spectrum (ARS)finitely closed subset of, 52morphism of, 31projective limits of, 31residue space of, 66–69saturated subset of, 56subspace of, 61algebraLukasiewicz, 84Kleene, 87Post, 84AOSclosed subset, 210dependent subset, 210AOS-fan, 166archimedean-equivalent, 188ARS-fan, 170connected components, 208finiteisomorphi...

In this paper we explore fuzzy semantics for a wide class of normal modal systems enriched with multiple instances of the axiom of confluence and prove a general completeness result for such systems.

the notion of strong arcs in a fuzzy graph was introduced bybhutani and rosenfeld in [1] and fuzzy end nodes in the subsequent paper[2] using the concept of strong arcs. in mordeson and yao [7], the notion of“degrees” for concepts fuzzified from graph theory were defined and studied.in this note, we discuss degrees for fuzzy end nodes and study further someproperties of fuzzy end nodes and fuzz...

We investigate the domain of comprehensive but not necessarily convex bargaining problems. Without convexity the Nash solution is not well de ̄ned. We propose a new solution, the Nash Extension, that coincides with the Nash solution when S is convex. We characterize it by Weak Pareto Optimality, Symmetry, Scale Invariance, Continuity, and a new axiom, Ethical Monotonicity. Journal of Economic Li...

In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions of CCB, and give a sound and complete axiom system for the congruence relation of finite agents. CCB is developed for analyzing a multi-agent model with broadcast communication. The most important property of CCB is th...

We investigate the problem of deciding first-order theories of finite trees with several distinguished congruence relations, each of them given by some equational axioms. We give an automata-based solution for the case where the different equational axiom systems are linear and variable-disjoint (this includes the case where all axioms are ground), and where the logic does not permit to express...

In this paper we study relations which are congruences with respect to ∧ and ⊔p, where ⊔pis the p-cut of the L-fuzzy hyperoperation ⊔. The main idea is to start from an equivalence relation R1 which is a congruence with respect to ∧ and ⊔1and, for each p ∈ X , construct an equivalence relation Rp which is a congruence with respect to ∧ and ⊔p. Furthermore, for each x ∈ Rp we construct a quotien...

This paper presents a general framework for the study of rough fuzzy sets in which fuzzy sets are approximated in a crisp approximation space. By the constructive approach, a pair of lower and upper generalized rough fuzzy approximation operators is first defined. The rough fuzzy approximation operators are represented by a class of generalized crisp approximation operators. Properties of rough...

In this paper, we establish the idea of fuzzy congruences on Abel-Grassmann's group (AG-group). We investigate different outcomes fuzzy-congruences AG-groups in detail and give some examples to illustrate newly established results. develop relation between congruence normal subgroup. end, also provide results homomorphism AG-groups.

This paper presents a general framework for the study of rough set approximation operators in fuzzy environment in which both constructive and axiomatic approaches are used. In constructive approach, a pair of lower and upper generalized fuzzy rough (and rough fuzzy, respectively) approximation operators is first defined. The representations of both fuzzy rough approximation operators and rough...