Results 11 to 20 of about 1,450 (155)

Reflectors to quantales

Fuzzy Sets and Systems, 2022
In this paper, we show that marked quantales have a reflection into quantales. To obtain the reflection we construct free quantales over marked quantales using appropriate lower sets. A marked quantale is a posemigroup in which certain admissible subsets
Xia Zhang, Jan Paseka, Jianjun Feng, Yudong Chen   +3 more
semanticscholar   +6 more sources

Simple Involutive Quantales [PDF]

Journal of Algebra, 1997
A quantale \(Q\) is most easily described as a semigroup object in the category \({\mathbf S}{\mathbf L}\) of suplattices. If it is a monoid object it is called unital. (For more on quantales, see the reviewer's book, Quantales and their applications (1990; Zbl 0703.06007).) A quantale \(Q\) with operation \(\&\) is called involutive iff it has an ...
Jiří Rosicky
exaly   +3 more sources

On categorical aspects of S -quantales

Open Mathematics, 2018
S-quantales are characterized as injective objects in the category of S-posets with respect to certain class of homomorphisms that are order-preserving mappings. This paper is devoted to exhibitions of categorical structures on S-quantales.
Zhang Xia, Zhou Yunyan
doaj   +2 more sources

Unitally nondistributive quantales [PDF]

Portugaliae Mathematica
Unitally nondistributive quantales are unital quantales such that the unit is approximable by the totally below relation and does not meet-distribute over arbitrary joins.
J. Gutiérrez García, Ulrich Höhle
semanticscholar   +3 more sources

The points and diameters of quantales

Open Mathematics, 2018
In this paper, we investigate some properties of points on quantales. It is proved that the two sided prime elements are in one to one correspondence with points.
Liang Shaohui
doaj   +2 more sources

Lifting Elements in Coherent Quantales [PDF]

Transactions on Fuzzy Sets and Systems, 2022
An ideal I of a ring R is a lifting ideal if the idempotents of R can be lifted modulo I. A rich literature has been dedicated to lifting ideals. Recently, new algebraic and topological results on lifting ideals have been discovered.
George Georgescu
doaj   +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.), Höfner, Peter, Struth, Georg   +2 more
openaire   +4 more sources

Aggregation functions as lax morphisms of quantales [PDF]

Fuzzy Sets Syst.
We will generalize the concept of aggregation function for mathematical structures as a certain function between quantales. In fact, these functions turn to be exactly the lax morphism of quantales.
Alejandro Fructuoso-Bonet, J. Rodríguez-López   +1 more
semanticscholar   +3 more sources

Higher Catoids, Higher Quantales and their Correspondences [PDF]

Applied Categorical Structures, 2023
We introduce \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega ...
Cameron Calk, P. Malbos, D. Pous, G. Struth   +3 more
semanticscholar   +3 more sources

Some topological aspects of ideals in quantales

Applied General Topology
As a natural extension of the ongoing development of a theory of ideals in commutative quantales with an identity element, this article aims to study into the analysis of certain topological properties exhibited by distinguished classes of ideals.
Amartya Goswami
doaj   +2 more sources