Results 261 to 270 of about 4,125 (289)
Unity in nominal equational reasoning: The algebra of equality on nominal sets
Journal of Applied Logic, 2012 There are currently no fewer than four dedicated logics for equality reasoning over nominal sets: nominal algebra, nominal equational logic, nominal equational logic with equality only, and permissive-nominal algebra.In this survey and research paper we ...
Murdoch J Gabbay
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Algebras with fuzzy equalities
Fuzzy Sets and Systems, 2005zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Radim Belohlávek, Vilém Vychodil
openaire +2 more sources
Archive for Mathematical Logic, 2013
The concept of pseudo equality algebras is introduced. Some operations are discussed. It is proved that the variety of pseudo equality algebras is subtractive.
Sándor Jenei, László Kóródi
openaire +1 more source
The concept of pseudo equality algebras is introduced. Some operations are discussed. It is proved that the variety of pseudo equality algebras is subtractive.
Sándor Jenei, László Kóródi
openaire +1 more source
Graphs Based on Equality Algebras
New Mathematics and Natural Computation, 2022In this paper, we introduce new kinds of graphs based on equality algebras. First of all, by using the meet operation we define the notion of zero divisors on equality algebra and study related properties. Then we introduce a meet graph on equality algebra by using zero divisors.
Mona Aaly Kologani +3 more
openaire +1 more source
Studia Logica, 2010
The author introduces equality algebras. They have two connectives, a meet operation and an equivalence, and a constant. He shows that equivalential equality algebras are term-equivalent with BCK-algebras with meet. As a by-product, he obtains a quite general result, which is analogous to a result of Kabziński and Wroński.
openaire +2 more sources
The author introduces equality algebras. They have two connectives, a meet operation and an equivalence, and a constant. He shows that equivalential equality algebras are term-equivalent with BCK-algebras with meet. As a by-product, he obtains a quite general result, which is analogous to a result of Kabziński and Wroński.
openaire +2 more sources
The equality problem and free products of lie algebras and of associative algebras
Siberian Mathematical Journal, 1983Kukin G P
exaly +3 more sources
The Algebra of Equality Proofs
2005Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-premise rule taking a proof of x=y and returning a proof of y=x; and transitivity is a 2-premise rule taking proofs of x=y and y=z, and returning a proof of x=z.
Aaron Stump, Li-Yang Tan
openaire +1 more source
Filter theory of pseudo equality algebras
Journal of Intelligent & Fuzzy Systems, 2020In this paper, we study the generating formula of filters in pseudo equality algebras, also we introduce prelinear pseudo equality algebras and divisible pseudo equality algebras, and then we investigate some characterizations of them. We focus on algebraic structures of the set F (
Meng Ke Liu, Xiao Long Xin 0001
openaire +1 more source
Using Alnuset to construct the notions of equivalence and equality in algebra [PDF]
International Federation for Information Processing, 2008 We analyse the role of technology in the development of algebraic crucial knowledge and competences, such as those involved in the comprehension and use of the notions of equivalence and equality.
Pedemonte, Bettina +2 more
exaly +2 more sources