Results 41 to 50 of about 576 (163)
On (L, M)‐Double Fuzzy Filter Spaces
Advances in Fuzzy Systems, Volume 2018, Issue 1, 2018., 2018 We give in this paper the definitions of (L, M)‐double fuzzy filter base and (L, M)‐double fuzzy filter structures where L and M are strictly two‐sided commutative quantales, and we also investigate the relations between them. Moreover, we propose second‐order image and preimage operators of (L, M)‐double fuzzy filter base and study some of its ...
A. A. Abd El-Latif +3 more
wiley +1 more source
Groupoid sheaves as quantale sheaves [PDF]
, 2012 Several notions of sheaf on various types of quantale have been proposed and studied in the last twenty five years. It is fairly standard that for an involutive quantale Q satisfying mild algebraic properties, the sheaves on Q can be defined to be the ...
Resende, Pedro, Pedro Resende
core +1 more source
Embeddings of quantales into simple quantales
Journal of Pure and Applied Algebra, 2000 This nicely written article shows that any quantale is embeddable in a simple quantale by utilizing the simple quantale \(\text{End} (L)\) of endomorphisms of a sup-lattice \(L\) (under composition). If we begin with an involutive quantale, it can be embedded in an \(I\)-simple involutive quantale.
Paseka, Jan, Kruml, David
openaire +2 more sources
Quantales and Temporal Logics [PDF]
, 2006 We propose an algebraic semantics for the temporal logic CTL* and simplify it for its sublogics CTL and LTL. We abstractly represent state and path formulas over transition systems in Boolean left quantales. These are complete lattices with a multiplication that preserves arbitrary joins in its left argument and is isotone in its right argument.
Möller, Bernhard (Prof. Dr.) +2 more
openaire +2 more sources
An Approach to the Concept of Soft Fuzzy Proximity
Abstract and Applied Analysis, Volume 2014, Issue 1, 2014., 2014 The purpose of this paper is to introduce the concept of soft fuzzy proximity. Firstly, we give the definitions of soft fuzzy proximity and Katsaras soft fuzzy proximity, and also we investigate the relations between the soft fuzzy proximity and slightly modified version of Katsaras soft fuzzy proximity. Secondly, we induce a soft fuzzy topology from a
Vildan Çetkin +3 more
wiley +1 more source
Ações, injetivos e invólucros injetivos em multicategorias enriquecidas num quantale [PDF]
, 2021 This thesis generalizes some constructions originally made for quantaleenriched categories to the realm of quantale-enriched multicategories. More precisely, we study actions, injective objects, and injective hulls in quantale-enriched multicategories,
Martinelli, Eros
core
Extending set functors to generalised metric spaces [PDF]
Logical Methods in Computer Science, 2019 For a commutative quantale $\mathcal{V}$, the category $\mathcal{V}-cat$ can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type constructor $T$ (formalised as an endofunctor on sets) can be extended in a
Adriana Balan +2 more
doaj +1 more source
Journal of Applied Mathematics, Volume 2013, Issue 1, 2013., 2013 This paper is an attempt to develop quantitative domain theory over frames. Firstly, we propose the notion of a fuzzy basis, and several equivalent characterizations of fuzzy bases are obtained. Furthermore, the concept of a fuzzy algebraic domain is introduced, and a relationship between fuzzy algebraic domains and fuzzy domains is discussed from the ...
Sanping Rao, Qingguo Li, Jianming Zhan
wiley +1 more source
A remark on the quantale structure of multisets [PDF]
, 1997 The set P* (I) of finite multisets on a set J has a natural quantale structure. In this note we study the quantic nuclei of this quantale, and show that they are parametrized by those subsets of the infinite multisets P** (I) whose elements are mutually ...
Arase, T., Arase, T
core +1 more source
Lattice‐Valued Topological Systems as a Framework for Lattice‐Valued Formal Concept Analysis
Journal of Mathematics, Volume 2013, Issue 1, 2013., 2013 Recently, Denniston, Melton, and Rodabaugh presented a new categorical outlook on a certain lattice‐valued extension of Formal Concept Analysis (FCA) of Ganter and Wille; their outlook was based on the notion of lattice‐valued interchange system and a category of Galois connections. This paper extends the approach of Denniston et al.
Sergey A. Solovyov, Alfred Peris
wiley +1 more source