Page 1 Next

Displaying 1 – 20 of 31

Showing per page

On a period of elements of pseudo-BCI-algebras

Grzegorz Dymek (2015)

Discussiones Mathematicae - General Algebra and Applications

The notions of a period of an element of a pseudo-BCI-algebra and a periodic pseudo-BCI-algebra are defined. Some of their properties and characterizations are given.

On a periodic part of pseudo-BCI-algebras

Grzegorz Dymek (2015)

Discussiones Mathematicae - General Algebra and Applications

In the paper the connections between the set of some maximal elements of a pseudo-BCI-algebra and deductive systems are established. Using these facts, a periodic part of a pseudo-BCI-algebra is studied.

On annihilators in BL-algebras

Yu Xi Zou, Xiao Long Xin, Peng Fei He (2016)

Open Mathematics

In the paper, we introduce the notion of annihilators in BL-algebras and investigate some related properties of them. We get that the ideal lattice (I(L), ⊆) is pseudo-complemented, and for any ideal I, its pseudo-complement is the annihilator I⊥ of I. Also, we define the An (L) to be the set of all annihilators of L, then we have that (An(L); ⋂,∧An(L),⊥,0, L) is a Boolean algebra. In addition, we introduce the annihilators of a nonempty subset X of L with respect to an ideal I and study some properties...

On BE-semigroups.

Ahn, Sun Shin, Kim, Young Hee (2011)

International Journal of Mathematics and Mathematical Sciences

On functions that cannot be mv-truth values in algebraic structures.

Enric Trillas (1988)

Stochastica

It is shown, in a general frame and playing with idempotency, that in order to have on a given lattice a Multiple Valued Logic preserving the lattice structure, the only t-norms and t-conorms allowing to modelize the truth values of a v b, a ^ b and a --> b are Min and Max, respectively, apart from ordinal sums.

On fuzzy B -algebras

Young Bae Jun, Eun Hwan Roh, Hee Sik Kim (2002)

Czechoslovak Mathematical Journal

The fuzzification of (normal) B -subalgebras is considered, and some related properties are investigated. A characterization of a fuzzy B -algebra is given.

On ideal theory of hoops

Mona Aaly Kologani, Rajab Ali Borzooei (2020)

Mathematica Bohemica

In this paper, we define and characterize the notions of (implicative, maximal, prime) ideals in hoops. Then we investigate the relation between them and prove that every maximal implicative ideal of a -hoop with double negation property is a prime one. Also, we define a congruence relation on hoops by ideals and study the quotient that is made by it. This notion helps us to show that an ideal is maximal if and only if the quotient hoop is a simple MV-algebra. Also, we investigate the relationship...

On ideals and congruences in BCC-algebras

Wiesław Aleksander Dudek, Xiaohong Zhang (1998)

Czechoslovak Mathematical Journal

We introduce a new concept of ideals in BCC-algebras and describe connections between such ideals and congruences.

On ideals in De Morgan residuated lattices

Liviu-Constantin Holdon (2018)

Kybernetika

In this paper, we introduce a new class of residuated lattices called De Morgan residuated lattices, we show that the variety of De Morgan residuated lattices includes important subvarieties of residuated lattices such as Boolean algebras, MV-algebras, BL-algebras, Stonean residuated lattices, MTL-algebras and involution residuated lattices. We investigate specific properties of ideals in De Morgan residuated lattices, we state the prime ideal theorem and the pseudo-complementedness of the ideal...

On idempotent modifications of M V -algebras

Ján Jakubík (2007)

Czechoslovak Mathematical Journal

The notion of idempotent modification of an algebra was introduced by Ježek. He proved that the idempotent modification of a group is subdirectly irreducible. For an M V -algebra 𝒜 we denote by 𝒜 ' , A and ( 𝒜 ) the idempotent modification, the underlying set or the underlying lattice of 𝒜 , respectively. In the present paper we prove that if 𝒜 is semisimple and ( 𝒜 ) is a chain, then 𝒜 ' is subdirectly irreducible. We deal also with a question of Ježek concerning varieties of algebras.

On monadic quantale algebras: basic properties and representation theorems

Sergey A. Solovyov (2010)

Discussiones Mathematicae - General Algebra and Applications

Motivated by the concept of quantifier (in the sense of P. Halmos) on different algebraic structures (Boolean algebras, Heyting algebras, MV-algebras, orthomodular lattices, bounded distributive lattices) and the resulting notion of monadic algebra, the paper introduces the concept of a monadic quantale algebra, considers its properties and provides several representation theorems for the new structures.

On pseudo BE-algebras

Rajab Ali Borzooei, Arsham Borumand Saeid, Akbar Rezaei, Akefe Radfar, Reza Ameri (2013)

Discussiones Mathematicae - General Algebra and Applications

In this paper, we introduce the notion of pseudo BE-algebra which is a generalization of BE-algebra. We define the concepts of pseudo subalgebras and pseudo filters and prove that, under some conditions, pseudo subalgebra can be a pseudo filter. We prove that every homomorphic image and pre-image of a pseudo filter is also a pseudo filter. Furthermore, the notion of pseudo upper sets in pseudo BE-algebras introduced and is proved that every pseudo filter is an union of pseudo upper sets.

Currently displaying 1 – 20 of 31

Page 1 Next