In this paper, we introduce the notion of {bf K}-flat projective fuzzy quantales, and give an elementary characterization in terms of a fuzzy binary relation on the fuzzy quantale. Moreover, we  prove that {bf K}-flat projective fuzzy quantales are precisely the coalgebras for a certain comonad on the category of fuzzy quantales. Finally, we present two special cases of {bf K} as examples.

in  cite{gl}, b. gerla and i. leuc{s}tean introduced the notion of similarity on mv-algebra. a similarity mv-algebra is an mv-algebra endowed with a binary operation $s$ that verifies certain additional properties. also, chirtec{s} in cite{c}, study the notion of similarity on l ukasiewicz-moisil algebras. in particular, strong similarity l ukasiewicz-moisil algebras were defined. in this paper...

We have shown the simultaneous generation of macro-scale fast flows and strong magnetic fields in 2-temperature relativistic electron-ion plasmas astrophysical objects due to Unified Reverse Dynamo/Dynamo mechanism. The resulting dynamical field amplification and/or flow acceleration is directly proportional initial turbulent kinetic/magnetic (magnetic) energy; process very sensitive relativist...

This paper considers two distinct procedures to lexicographically compose multiple criteria for social or individual decision making. The first procedure composes M binary relations into one, and then selects its maximal elements. The second procedure first selects the set of maximal elements of the first binary relation, and then within that set, chooses the maximal elements of the second bina...

This paper introduces a gradient-based reward prediction update mechanism to the XCS classifier system as applied in neuralnetwork type learning and function approximation mechanisms. A strong relation of XCS to tabular reinforcement learning and more importantly to neural-based reinforcement learning techniques is drawn. The resulting gradient-based XCS system learns more stable and reliable i...

We present a new proof of Chew's theorem, which states that normal forms are unique up to conversion in compatible term rewriting systems. We apply the technique of left-right separated conditional term rewriting systems (LRCTRSs), in which the unique normal form property of a term rewriting system is reduced to the Church-Rosser property of its conditional linearization. In contrast to traditi...

A binary supermassive black hole leaves an imprint on a galactic nucleus in the form of a “mass deficit,” a decrease in the mass of the nucleus due to ejection of stars by the binary. The magnitude of the mass deficit is in principle related to the galaxy’s merger history, but the relation has never been quantified. Here, highaccuracy N-body simulations are used to calibrate this relation. Mass...

partition schemes. Ligozat and Renz [2004] note that most spatial and temporal calculi are based on a set of JEPD (jointly exhaustive and pairwise disjoint) domain relations. The following definition is predominant in the QSTR literature [Ligozat and Renz 2004; Cohn and Renz 2008]. Definition 3.1. Let U be a universe and R a set of non-empty domain relations of the same arity n. R is called a s...