Results 1 to 10 of about 241 (119)
Computers and Mathematics With Applications, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Young Bae Jun +2 more
exaly +3 more sources
On Neutrosophic Γ-Semirings [PDF]
Neutrosophic Sets and Systems, 2021 In this paper, we introduce and study the concept of Neutrosophic Γ-semiring and study various properties. Also, we prove that there is a one-to-one correspondence between Neutrosophic Γ-semirings and sub Γ-semirings of a Γ-semiring.
Yella Bhargavi, Akbar Rezaei
doaj +1 more source
On simpleness of semirings and complete semirings [PDF]
Journal of Algebra and Its Applications, 2014 In this paper, we investigate various classes of semirings and complete semirings regarding the property of being ideal-simple, congruence-simple, or both. Among other results, we describe (complete) simple, i.e. simultaneously ideal- and congruence-simple, endomorphism semirings of (complete) idempotent commutative monoids; we show that the concepts ...
Katsov, Yefim +2 more
openaire +2 more sources
Algebraic Notions of Termination [PDF]
Logical Methods in Computer Science, 2011 Five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or Noetherity, L\"ob's formula, absence of infinite iteration, absence of divergence and normalisation.
Desharnais Jules +2 more
doaj +1 more source
THE VARIETY GENERATED BY AN AI-SEMIRING OF ORDER THREE
Ural Mathematical Journal, 2020 Up to isomorphism, there are 61 ai-semirings of order three. The finite basis problem for these semirings is investigated. This problem for 45 semirings of them is answered by some results in the literature.
Xianzhong Zhao +4 more
doaj +1 more source
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
Siberian Mathematical Journal, 2023 Abstract We prove that each element of a complete atomic $ l $ -semiring has a canonical decomposition. We also find some sufficient conditions for the decomposition to be unique that are expressed by first-order sentences.
Ts. Ch.-D. Batueva, M. V. Schwidefsky
openaire +2 more sources
Quasi ideals of nearness semirings
Cumhuriyet Science Journal, 2021 This article introduces quasi-ideals in semirings on weak nearness approximation spaces. Concepts and definitions are given to clarify the subject of quasi ideals in semirings on weak nearness approximation spaces.
Özlem Tekin
doaj +1 more source
A New Approach to Evaluate Regular Semirings in terms of Bipolar Fuzzy k-Ideals Using k-Products
Journal of Mathematics, 2022 In this paper, we provide a generalized form of ideals that is k-ideals of semirings with the combination of a bipolar fuzzy set (BFS). The BFS is a generalization of fuzzy set (FS) that deals with uncertain problems in both positive and negative aspects.
Shahida Bashir +3 more
doaj +1 more source
Study of Additively Regular Г -Semirings and Derivations
Discussiones Mathematicae - General Algebra and Applications, 2022 In this paper, the notions of commutator and derivation in additively regular -semirings with (A2, Г)-condition are introduced. We also characterize Jordan product for additively regular Г -semiring and establish some results which investigate the ...
Dadhwal Madhu, Neelam
doaj +1 more source