Fuzzy zero, algebraic equivalence: yes or no?
Fuzzy-valued integrals based on a constructive methodology
The procedures for constructing a fuzzy number and a fuzzy-valued function from a family of closed intervals and two families of real-valued functions, respectively, are proposed in this paper. The constructive methodology follows from the form of the well-known “Resolution Identity” (decomposition theorem) in fuzzy sets theory. The fuzzy-valued measure is also proposed by introducing the notion of convergence for a sequence of fuzzy numbers. Under this setting, we develop the fuzzy-valued integral...
-separation axioms in ordered fuzzy topological spaces
-separation axioms are introduced in ordered fuzzy topological spaces and some of their basic properties are investigated besides establishing an analogue of Urysohn’s lemma.
Galois correspondences for closed classes of functions with delay. I.
Galois coverings and the problem of axiomatization of the representation type of algebras.
Game properties of Boolean algebras
Games with creatures
Many forcing notions obtained using the creature technology are naturally connected with certain integer games.
Ganzgeschlossene und prädikatgeschlossene Logiken I.
Ganzgeschlossene und prädikatgeschlossene Logiken II.
Gaps in analytic quotients
We prove that the quotient algebra P(ℕ)/I over any analytic ideal I on ℕ contains a Hausdorff gap.
Garnir's dream spaces with Hamel bases.
Gaussian Integers
Gaussian integer is one of basic algebraic integers. In this article we formalize some definitions about Gaussian integers [27]. We also formalize ring (called Gaussian integer ring), Z-module and Z-algebra generated by Gaussian integer mentioned above. Moreover, we formalize some definitions about Gaussian rational numbers and Gaussian rational number field. Then we prove that the Gaussian rational number field and a quotient field of the Gaussian integer ring are isomorphic.
General fuzzy decision systems
General operators binding variables in the interpreted modal calculus
Si considera il calcolo modale interpretato , che è basato su un sistema di tipi con infiniti livelli, contiene descrizioni, ed è dotato di una semantica di tipo generale - v. [2], o [3], o [4], o [5]. In modo semplice e naturale si introducono in operatori vincolanti variabili, di tipo generale. Per teorie basate sul calcolo logico risultante vale un teorema di completezza, che si dimostra in modo immediato sulla base dell'estensione del teorema parziale di completezza stabilito in [11], fatta...
Generalisations of -density
Generalization of some known properties of Cantor set
Generalization of the concept of variety and quasivariety to partial algebras through category theory [Book]
Generalizations of Boolean algebras. An attribute exploration
Generalizations of pseudo MV-algebras and generalized pseudo effect algebras
We deal with unbounded dually residuated lattices that generalize pseudo -algebras in such a way that every principal order-ideal is a pseudo -algebra. We describe the connections of these generalized pseudo -algebras to generalized pseudo effect algebras, which allows us to represent every generalized pseudo -algebra by means of the positive cone of a suitable -group . We prove that the lattice of all (normal) ideals of and the lattice of all (normal) convex -subgroups of are isomorphic....
Generalized Archimedean fields and logics with Malitz quantifiers