Results 11 to 20 of about 4,125 (289)
Closed nominal rewriting and efficiently computable nominal algebra equality [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories.
Maribel Fernández, Murdoch J. Gabbay
doaj +2 more sources
Relative co-annihilators in lattice equality algebras [PDF]
Mathematica BohemicaWe introduce the notion of relative co-annihilator in lattice equality algebras and investigate some important properties of it. Then, we obtain some interesting relations among $ \vee$-irreducible filters, positive implicative filters, prime filters and
Sogol Niazian +2 more
doaj +4 more sources
Bulletin of the Section of Logic, 2020 In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local deduction theorem.
Shokoofeh Ghorbani
doaj +2 more sources
Some Types of Filters in Equality Algebras [PDF]
Categories and General Algebraic Structures with Applications, 2017 Equality algebras were introduced by S. Jenei as a possible algebraic semantic for fuzzy type theory. In this paper, we introduce some types of filters such as (positive) implicative, fantastic, Boolean, and prime filters in equality algebras and we ...
Rajabali Borzooei +2 more
doaj +1 more source
AxiomsFollowing the notions of Ω-set and Ω-algebra where Ω is a complete lattice, we introduce P-algebras, replacing the lattice Ω by a poset P. A P-algebra is a classical algebraic structure in which the usual equality is replaced by a P-valued equivalence ...
Elijah Eghosa Edeghagba +2 more
doaj +2 more sources
FULL ALGEBRAS AND SPEKTRAL EQUALITY
Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi, 1999 In this paper; conside ration is given to the kümesi de x elem anının A ce birindeki rezolventi, yine full algebras. Following this, we have shown that the equality aA ( a) = aB (lt;D( a)) is satisfied when AJ B are semis imp le, regula r, commutative ...
HAKAN AVCI, M. HEYBETKULU SEFEROĞLU
doaj +2 more sources
On the variety of equality algebras [PDF]
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011), 2011 Equality algebras has recently been introduced. A subclass of equality algebras, called equivalential equality algebras is closely related to BCK-algebras with meet. We show that the variety of equality algebras has nice properties: We shall investigate their congruences and filters and prove that the variety of equality algebras is a 1-regular ...
Sándor Jenei, László Kóródi
openaire +1 more source
Fuzzy Sub-Equality Algebras Based on Fuzzy Points
Bulletin of the Section of Logic, 2023 In this paper, by using the notion of fuzzy points and equality algebras, the notions of fuzzy point equality algebra, equality-subalgebra, and ideal were established. Some characterizations of fuzzy subalgebras were provided by using such concepts.
Mona Aaly Kologani +3 more
doaj +1 more source
Converse extensionality and apartness [PDF]
Logical Methods in Computer Science, 2022 In this paper we try to find a computational interpretation for a strong form of extensionality, which we call "converse extensionality". Converse extensionality principles, which arise as the Dialectica interpretation of the axiom of extensionality ...
Benno van den Berg, Robert Passmann
doaj +1 more source
Pseudo equality algebras: revision [PDF]
Soft Computing, 2015 Recently Jenei introduced a new structure called equality algebras which is inspired by ideas of BCK-algebras with meet. These algebras were generalized by Jenei and Kóródi to pseudo equality algebras which are aimed to find a connection with pseudo BCK-algebras with meet. We show that every pseudo equality algebra is an equality algebra. Therefore, we
Anatolij Dvurecenskij, Omid Zahiri
openaire +3 more sources