Results 21 to 30 of about 419,838 (64)

Tropological systems are points of quantales [PDF]

open access: yes, 2002
We address two areas in which quantales have been used. One is of a topological nature, whereby quantales or involutive quantales are seen as generalized noncommutative spaces, and its main purpose so far has been to investigate the spectrum of ...
Resende, Pedro
core   +1 more source

Generalized Rough Fuzzy Ideals in Quantales [PDF]

open access: yes, 2018
The paper examines the generalized rough fuzzy ideals of quantales. There are some intrinsic relations between fuzzy prime (primary) ideals of quantales and generalized rough fuzzy prime (primary) ideals of quantales.
Saqib Mazher Qurashi, Muhammad Shabir
core   +1 more source

The Tensor Products of Unital Quantales [PDF]

open access: yes, 2013
In this paper, the definition of bimorphism of unital quantales is given, Base on the tensor product of completed lattice, the concrete forms of the tensor product of unital quantales is obatined, and some properties of their are ...
LIANG, Shaohui
core   +1 more source

On categorical aspects of S -quantales

open access: yes, 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.
Zhang Xia, Zhou Yunyan
core   +1 more source

Finitary ideals of direct products in quantales [PDF]

open access: yes, 2021
The notion of quantale, which designates a complete lattice equipped with an associative binary multiplication distributing over arbitrary joins, appears in various areasof mathematics-in quantaloid theory, in non classical logic as completion of the ...
Pankiti, Pascal, Nkuimi-Jugnia, C
core  

Effect Algebras, Girard Quantales and Complementation in Separation Logic

open access: yes, 2021
We study convolution and residual operations within convolution quantales of maps from partial abelian semigroups and effect algebras into value quantales, thus generalising separating conjunction and implication of separation logic to quantitative ...
Callum Bannister   +5 more
core   +1 more source

The points and diameters of quantales

open access: yes, 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
core   +1 more source

Primeness in Quantales [PDF]

open access: yes, 2019
In this paper we propose a new concept of primeness in quantales. It is proved that this concept coincide with classical definition in commutative quantales, but no longer valid in the noncommutative setting.
Santiago, Regivan Hugo Nunes   +2 more
core  

Projective and injective objects in the category of quantales [PDF]

open access: yes, 2002
Regular projective quantales are characterized as the weakly ∗-stable completely distributive lattices. For the class E of all onto quantale homomorphisms whose right adjoints preserve multiplication ∗, it is proved that E-projective quantales are ...
Yong-ming, Li, Meng, Zhou, Zhi-hui, Li
core   +1 more source

Sup-lattice 2-forms and quantales [PDF]

open access: yes, 2004
A 2-form between two sup-lattices L and R is defined to be a sup-lattice bimorphism L×R→2. Such 2-forms are equivalent to Galois connections, and we study them and their relation to quantales, involutive quantales and quantale modules.
Resende, Pedro
core   +1 more source

Home - About - Disclaimer - Privacy