Results 61 to 70 of about 1,450 (155)
On the necessity of quantal assumptions. Questions to the quantal theory
Journal of Phonetics, 1989 In this paper several questions to Stevens’ quantal theory are formulated. The concept of quantal behaviour will certainly prove its applicability in a theory that relates phonetic and phonological units. However, we do not fully agree with Stevens’ reasoning. One of our objections to his quantal theory deals with the difficulty of its verification. We
ten Bosch, L.F.M., Pols, L.C.W.
openaire +2 more sources
The Tensor Products of Unital Quantales [PDF]
, 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
International Journal of Mathematics and Mathematical Sciences, Volume 19, Issue 4, Page 759-766, 1996., 1995 The collection of fuzzy subsets of a set X forms a complete lattice that extends the complete lattice 𝒫(X) of crisp subsets of X. In this paper, we interpret this extension as a special case of the fuzzification of an arbitrary complete lattice A. We show how to construct a complete lattice F(A, L) the L‐fuzzificatio of A, where L is the valuation ...
Arturo A. L. Sangalli
wiley +1 more source
Effect Algebras, Girard Quantales and Complementation in Separation Logic
, 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
Finitary ideals of direct products in quantales [PDF]
, 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
Representation Theorems for Quantales [PDF]
Mathematical Logic Quarterly, 1994 AbstractIn 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 ...
openaire +1 more source
Projective and injective objects in the category of quantales [PDF]
, 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
Why mathematical morphology needs quantales
, 2009 The importance of complete lattices in mathematical morphology is well-known. There are some aspects of the subject that can, however, be clarified by using complete lattices equipped with the additional structure of a binary operation subject to ...
Stell, JG
core +5 more sources
Mathematica SlovacaLet 𝔔 be a reduced left-sided and left-stable quantale without zero divisors. This paper shows how the systematic use of the «quantization» of 2 viewed as a regular and strict right 𝔔-subalgebra of 𝔔 can both strengthen and simplify the rather ...
J. García, Ulrich Höhle
semanticscholar +1 more source
, 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