Results 31 to 40 of about 3,136 (224)
The Clifford semiring congruences on an additive regular semiring [PDF]
, 2014 A congruence ρ on a semiring S is called a (generalized)Clifford semiring congruence if S/ρ is a (generalized)Clifford semiring. Here we characterize the (generalized)Clifford congruences on a semiring whose additive reduct is a regular semigroup.
Bhuniya, A.
core +1 more source
Communications in Algebra, 2020 We investigate ideal-semisimple and congruence-semisimple semirings. We give several new characterizations of such semirings using e-projective and e-injective semimodules. We extend several characterizations of semisimple rings to (not necessarily subtractive) commutative semirings.
Abuhlail, Jawad Y. +1 more
openaire +2 more sources
PAWS: A Tool for the Analysis of Weighted Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 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
*-μ-semirings and *-λ-semirings
Theoretical Computer Science, 2005 AbstractWe introduce and study *-μ-semirings and *-λ-semirings which generalize inductive *-semirings and weak inductive *-semirings, respectively. Also, we discuss the semiring of formal power series with coefficients in such a semiring and prove that the semiring of formal power series with coefficients in a weak inductive *-semiring [μ-semiring, λ ...
Feng Feng 0003 +2 more
openaire +1 more source
Journal of Logic and Computation, 2020 AbstractIn traditional justification logic, evidence terms have the syntactic form of polynomials, but they are not equipped with the corresponding algebraic structure. We present a novel semantic approach to justification logic that models evidence by a semiring.
Michael Baur, Thomas Studer
openaire +3 more sources
Conditional independence on semiring relations [PDF]
, 2023 Conditional independence plays a foundational role in database theory, probability theory, information theory, and graphical models. In databases, conditional independence appears in database normalization and is known as the (embedded) multivalued ...
Hannula, Miika
core +1 more source
Residuated Structures Derived from Commutative Idempotent Semirings
Discussiones Mathematicae - General Algebra and Applications, 2019 Since the reduct of every residuated lattice is a semiring, we can ask under what condition a semiring can be converted into a residuated lattice. It turns out that this is possible if the semiring in question is commutative, idempotent, G-simple and ...
Chajda Ivan, Länger Helmut
doaj +1 more source
Fuzzy soft k−ideals over semiring and fuzzy soft semiring homomorphism [PDF]
Journal of Hyperstructures, 2015 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
Ideal Fuzzy Semiring Atas Level Subset
, 2022 Semiring merupakan salah satu perluasan dari ring, dengan cara menghilangan salah satu aksioma pada operasi pertama yaitu aksioma invers. Pada semiring terdapat konsep subsemiring dan ideal dengan kondisi bahwa setiap ideal semiring adalah selalu ...
Abdurrahman, Saman
core +1 more source
Elementary Equivalence Versus Isomorphism in Semiring Semantics [PDF]
, 2021 We study the first-order axiomatisability of finite semiring interpretations or, equivalently, the question whether elementary equivalence and isomorphism coincide for valuations of atomic facts over a finite universe into a commutative semiring ...
Grädel, Erich, Mrkonjic, Lovro
core +1 more source