Results 1 to 10 of about 2,902 (154)
Derivations of equality algebras [PDF]
Soft Computing, 2022 Abstract In this paper, we introduced the concept of derivation on equality algebra E by using the notions of inner and outer derivations. Then we investigated some properties of (inner, outer) derivation and we introduced some suitable conditions that they help us to define a derivation on E.
Mona Aaly Kologani +2 more
exaly +2 more sources
Roughness of Filters in Equality Algebras
Bulletin of the Section of Logic, 2023 Rough set theory is an excellent mathematical tool for the analysis of a vague description of actions in decision problems. Now, in this paper by considering the notion of an equality algebra, the notion of the lower and the upper approximations are ...
Gholam Reza Rezaei +3 more
doaj +3 more sources
On pseudo-equality algebras [PDF]
Archive for Mathematical Logic, 2014 The author considers properties of pseudo-equality algebras and gives a correct proof of the result that the pseudo-equality algebras are term equivalent with pseudo-BCK algebra meet-semilattices, which was proved in the paper by \textit{S. Jenei} and \textit{L. Kóródi} [Arch. Math. Logic 52, No.
Lavinia Corina Ciungu +1 more
exaly +5 more sources
Generalized state maps and states on pseudo equality algebras
Open Mathematics, 2018 In this paper, we attempt to cope with states in a universal algebraic setting, that is, introduce a notion of generalized state map from a pseudo equality algebra X to an arbitrary pseudo equality algebra Y.
Cheng Xiao Yun +2 more
exaly +2 more sources
QUOTIENT STRUCTURES IN EQUALITY ALGEBRAS [PDF]
Journal of Algebraic SystemsThe notion of fuzzy ideal in bounded equality algebras is defined, and several properties are studied. Fuzzy ideal generated by a fuzzy set is established, and a fuzzy ideal is made by using the collection of ideals.
Rajab Ali Borzooei +3 more
doaj +3 more sources
Equality in Computer Algebra and Beyond
Journal of Symbolic Computation, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
James H Davenport
exaly +3 more sources
Journal of Hyperstructures, 2023 In this paper, we introduce the notion of hyper JK-algebras and investigate these algebras properties. Moreover, we present relationships between hyper JK-algebras and pseudo hyper BCK-algebras and hyper pseudo MV-algebras under some conditions.
Mohammad Ali Hashemi
doaj +1 more source
Tense like equality algebras [PDF]
Categories and General Algebraic Structures with Applications, 2020 In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra.
Mohammad Ali Hashemi, Rajabali Borzooei
doaj +1 more source
Teacher subject matter knowledge for the meaningful transition from arithmetic to algebra [PDF]
Journal of Pedagogical Research, 2021 Teacher knowledge is particularly important in middle school mathematics to enhance the meaningful transition from arithmetic to algebra. Developing a solid understanding of algebra requires teachers to unpack the meaning underlying the basic concepts ...
Pınar Yıldız +1 more
doaj +1 more source
Extensional Models of Untyped Lambda-mu Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 This paper proposes new mathematical models of the untyped Lambda-mu calculus. One is called the stream model, which is an extension of the lambda model, in which each term is interpreted as a function from streams to individual data. The other is called
Koji Nakazawa, Shin-ya Katsumata
doaj +1 more source