Results 31 to 40 of about 8,382 (175)
A semiring is said to be centrally essential if for every non-zero element $x$, there exist two non-zero central elements $y, z$ with $xy = z$. We give some examples of non-commutative centrally essential semirings and describe some properties of additively cancellative centrally essential semirings.
Lyubimtsev, O. V., Tuganbaev, A. A.
openaire +3 more sources
Bi-Interior Ideals of Γ-Semirings
In this paper, as a further generalization of ideals, we introduce the notion of bi-interior ideal as a generalization of quasi ideal, bi-ideal and interior ideal of Γ-semiring and study the properties of bi-interior ideals of Γ-semiring.
Rao Marapureddy Murali Krishna +1 more
doaj +1 more source
Weighted Pushdown Systems with Indexed Weight Domains [PDF]
The reachability analysis of weighted pushdown systems is a very powerful technique in verification and analysis of recursive programs. Each transition rule of a weighted pushdown system is associated with an element of a bounded semiring representing ...
Minamide, Yasuhiko
core +1 more source
PAWS: A Tool for the Analysis of Weighted Systems [PDF]
PAWS is a tool to analyse the behaviour of weighted automata and conditional transition systems. At its core PAWS is based on a generic implementation of algorithms for checking language equivalence in weighted automata and bisimulation in conditional ...
Barbara König +2 more
doaj +1 more source
Tropical Cramer Determinants Revisited [PDF]
We prove general Cramer type theorems for linear systems over various extensions of the tropical semiring, in which tropical numbers are enriched with an information of multiplicity, sign, or argument.
Akian, Marianne +2 more
core +2 more sources
Fuzzy soft k−ideals over semiring and fuzzy soft semiring homomorphism [PDF]
In this paper, we introduce the notion of fuzzy soft semirings, fuzzy soft ideals, fuzzy soft k− ideals , k−fuzzy soft ideals over semirings and fuzzy soft semiring homomorphism. We study some of their algebraical properties and properties of homomorphic
Marapureddy Murali Krishna Rao +1 more
doaj +1 more source
Semiring-Valued Fuzzy Sets and F-Transform
The notion of a semiring-valued fuzzy set is introduced for special commutative partially pre-ordered semirings, including basic operations with these fuzzy structures. It is showed that many standard MV-algebra-valued fuzzy type structures with standard
Jiří Močkoř
doaj +1 more source
Invertible Ideals and Gaussian Semirings [PDF]
In the first section of this paper, we introduce the notions of fractional and invertible ideals of semirings and characterize invertible ideals of a semidomain.
Ghalandarzadeh, Shaban +2 more
core +2 more sources
Let \((S,+)\) be a semigroup and \(p>0\) an integer. If for any \(x\in S\) there exists some \(y\in S\) such that \(x+py+x=y\) and \(py+x+py=x\) then \((S,+)\) is called a \(p\)-semigroup. Near at hand examples are idempotent semigroups and groups which satisfy \(x+x=0\) for all \(x\in S\). A semiring \((S,+,\cdot)\) is called a \(p\)-semiring if \((S,+
Budimirovic, Branka +2 more
openaire +2 more sources
Positivstellensätze for semirings
AbstractIn this paper we develop a number of results and notions concerning Positivstellensätze for semirings (preprimes) of commutative unital real algebras. First we reduce the Archimedean Positivstellensatz for semirings to the corresponding result for quadratic modules.
Schmüdgen, Konrad, Schötz, Matthias
openaire +2 more sources

