Results 21 to 30 of about 532 (202)
Shift Filter of Quasi-ordered Residuated Systems
Communications in Advanced Mathematical Sciences, 2022 The concept of residuated relational systems ordered under a quasi-order relation was introduced in 2018 by S. Bonzio and I. Chajda as a structure $\mathfrak{A} = \langle A, \cdot, \rightarrow, 1, \preccurlyeq \rangle$, where $(A,\cdot)$ is a commutative
Daniel A. Romano
doaj +1 more source
A Shortcut from Categorical Quantum Theory to Convex Operational Theories [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 This paper charts a very direct path between the categorical approach to quantum mechanics, due to Abramsky and Coecke, and the older convex-operational approach based on ordered vector spaces (recently reincarnated as "generalized probabilistic theories"
Alexander Wilce
doaj +1 more source
A Social Choice Analysis of the Borda Rule in a General Linguistic Framework [PDF]
International Journal of Computational Intelligence Systems, 2010 In this paper the Borda rule is extended by allowing the voters to show their preferences among alternatives through linguistic labels. To this aim, we need to add them up for assigning a qualification to each alternative and then to compare such ...
José Luis García-Lapresta +2 more
doaj +2 more sources
Confluence of the Chinese Monoid [PDF]
, 2019 The Chinese monoid, related to Knuth’s Plactic monoid, is of great interest in algebraic combinatorics. Both are ternary monoids, generated by relations between words of three symbols. The relations are, for a totally ordered alphabet, cba = cab = bca if
Klop, Jan Willem +5 more
core +2 more sources
Journal of Algebra, 2006 A `linear algebraic monoid' is an affine variety defined over an algebraically closed field \(K\) with an associative morphism and an identity. The unit group of an algebraic monoid is an algebraic group. An algebraic monoid is `irreducible' if it is irreducible as a variety.
Li, Zhuo, Li, Zhenheng, Cao, You'an
openaire +2 more sources
Algebraic Geometry Over Complete Lattices and Involutive Pocrims
Discussiones Mathematicae - General Algebra and Applications, 2022 An involutive pocrim is a resituated integral partially ordered commutative monoid with an involution operator, consider as an algebra. In this paper it is proved that the variety of a finitely generated by involutive pocrims of finite type has a ...
Molkhasi Ali, Shum Kar Ping
doaj +1 more source
A Monoid for the Grassmannian Bruhat Order
European Journal of Combinatorics, 1999 If \(S_\infty\) denotes the group of permutations on the natural numbers fixing all but a finite number then \(u\in S_\infty\) may be used to define Schubert polynomials \(S_u\in Z[X_1,X_2,\dots]\) as a homogeneous basis indexed by these. For \(u,v\in S_\infty\), the product \(S_uS_v= \Sigma_w c^w_{uv}\) \((w\in S_\infty)\) where the structure ...
Nantel Bergeron, Frank Sottile
openaire +1 more source
Additive monotones for resource theories of parallel-combinable processes with discarding [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 A partitioned process theory, as defined by Coecke, Fritz, and Spekkens, is a symmetric monoidal category together with an all-object-including symmetric monoidal subcategory.
Brendan Fong, Hugo Nava-Kopp
doaj +1 more source
On ideals of lattice ordered monoids [PDF]
Mathematica Bohemica, 2007 Summary: In the paper the notion of an ideal of a lattice-ordered monoid \(A\) is introduced and relations between ideals of \(A\) and congruence relations on \(A\) are investigated. Further, it is shown that the set of all ideals of a soft lattice-ordered monoid or a negatively ordered monoid partially ordered by inclusion is an algebraic Brouwerian ...
openaire +2 more sources
The X[[S]]-Sub-Exact Sequence of Generalized Power Series Rings
Al-Jabar, 2020 Let be a ring, a strictly ordered monoid, and K, L, M are R-modules. Then, we can construct the Generalized Power Series Modules (GPSM) K[[S]], L[[S]], and M[[S]], which are the module over the Generalized Power Series Rings (GPSR) R[[S]].
Wesly Agustinus Pardede +2 more
doaj +1 more source