In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for (non-commutative) Linear Logic using relations
Each Girard quantale (i.e. commutative quantale with a selected dualizing element) provides a suppor...
We establish a bijective correspondence involving a class of unital involutive quantales and a class...
AbstractA quantale is a complete lattice provided with a (generally non commutative) binary multipli...
In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations on Q....
Abstract. In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relat...
AbstractWe define a relational quantale to be a quantale whose elements are relations on a set A, or...
While the study of quantale-like structures goes back up to the 1930’s (not-withstanding that the te...
Abstract We introduce and present results about a class of quantales, the topological relational qua...
In Palmigiano and Re (J Pure Appl Algebra 215(8):1945-1957, 2011), spatial SGF-quantales are axiomat...
In Palmigiano and Re (J Pure Appl Algebra 215(8):1945–1957, 2011), spatial SGF-quantales are axiomat...
An adjunction between the category of semi-quantales and the category of lattice-valued quasi-topolo...
AbstractAn adjunction between the category of semi-quantales and the category of lattice-valued quas...
A sup-lattice is a complete lattice, a morphism of sup-lattices is a mapping preserving arbitrary su...
While the study of quantale-like structures goes back up to the 1930’s (notwithstanding that the ter...
AbstractRegular projective quantales are characterized as the weakly ∗-stable completely distributiv...
Each Girard quantale (i.e. commutative quantale with a selected dualizing element) provides a suppor...
We establish a bijective correspondence involving a class of unital involutive quantales and a class...
AbstractA quantale is a complete lattice provided with a (generally non commutative) binary multipli...
In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations on Q....
Abstract. In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relat...
AbstractWe define a relational quantale to be a quantale whose elements are relations on a set A, or...
While the study of quantale-like structures goes back up to the 1930’s (not-withstanding that the te...
Abstract We introduce and present results about a class of quantales, the topological relational qua...
In Palmigiano and Re (J Pure Appl Algebra 215(8):1945-1957, 2011), spatial SGF-quantales are axiomat...
In Palmigiano and Re (J Pure Appl Algebra 215(8):1945–1957, 2011), spatial SGF-quantales are axiomat...
An adjunction between the category of semi-quantales and the category of lattice-valued quasi-topolo...
AbstractAn adjunction between the category of semi-quantales and the category of lattice-valued quas...
A sup-lattice is a complete lattice, a morphism of sup-lattices is a mapping preserving arbitrary su...
While the study of quantale-like structures goes back up to the 1930’s (notwithstanding that the ter...
AbstractRegular projective quantales are characterized as the weakly ∗-stable completely distributiv...
Each Girard quantale (i.e. commutative quantale with a selected dualizing element) provides a suppor...
We establish a bijective correspondence involving a class of unital involutive quantales and a class...
AbstractA quantale is a complete lattice provided with a (generally non commutative) binary multipli...
DOI
Add to ORKG