Search

In this paper, we introduce the notion of state monadic BL-algebras and we investigate their properties. We define the concept of state monadic filters and study certain types of state monadic filters; we define and charaterize maximal and prime state monadic filters. Characterizations of local, simple and semisimple state monadic BL-algebras are also explored in the paper as well.

In this paper, at first we study strong Sheffer stroke NMV-algebra. For getting more results and some classification, the notions of filters and subalgebras are introduced and studied. Finally, by a congruence relation, we construct a quotient strong Sheffer stroke NMV-algebra and isomorphism theorems are proved., Ege University Scientific Research Projects Directorate [20772], We wish to thank the reviewers for excellent suggestions that have been incorporated into the paper. This study is supported by Ege University Scientific Research Projects Directorate with the project number 20772.

We introduce and investigate central lifting property (CLP) for orthomodular lattices as a property whereby all central elements can be lifted modulo every p-ideal. It is shown that prime ideals, maximal ideals and finite p-ideals have CLP. Also Boolean algebras, simple chain finite orthomodular lattices, subalgebras of an orthomodular lattices generated by two elements and finite orthomodular lattices have CLP. The main results of the present paper include the investigation of CLP for principal p-ideals and finite direct products of orthomodular lattices.

In this paper, we define residuated skew lattice as non-commutative generalization of residuated lattice and investigate its properties. We show that Green’s relation 𝔻 is a congruence relation on residuated skew lattice and its quotient algebra is a residuated lattice. Deductive system and skew deductive system in residuated skew lattices are defined and relationships between them are given and proved. We define branchwise residuated skew lattice and show that a conormal distributive residuated skew lattice is equivalent with a branchwise residuated skew lattice under a condition.

Halaš and Jukl associated the zero-divisor graph G to a poset (X,≤) with zero by declaring two distinct elements x and y of X to be adjacent if and only if there is no non-zero lower bound for {x, y}. We characterize all the graphs that can be realized as the zero-divisor graph of a poset. Using this, we classify posets whose zero-divisor graphs are the same. In particular we show that if V is an n-element set, then there exist ∑ log 2 ⁡ ( n + 1 ) ≤ k ≤ n n k 2 k − k − 1 n − k $\begin{array}{} \sum\limits_{\log_2(n+1)\leq k\leq n}^{}\binom{n}{k}\binom{2^k-k-1}{n-k} \end{array} $ reduced zero-divisor graphs whose vertex sets are V.

In this paper, we introduce the notions of stabilizer of a subset and the stabilizer of a subset with respect to another one in triangle algebras and study them in details. It is shown that the stabilizer of a subset and stabilizer of an interval valued residuated lattice filter (IVRL-filter) with respect to another IVRL-filter are IVRL-filters. We state and prove some theorems which determine some properties of this stabilizers in triangle algebras. Also, we prove that in linearly ordered triangle algebras, stabilizer of a set is an IVRL-extended prime filter. Finally, we consider the influence of stabilizers on product and quotient triangle algebras.

In this paper we introduce and study distributive elements, dual distributive elements in hyperlattices, and prove that these elements forms ∧-semi lattice and ∨-semi hyperlattice, respectively. We use the properties of prime ideals and prime filters in hyperlattices. We will proceed to introduce the notion of dual distributive hyperlattices, I-filters and filters generated by dual distributive elements. Finally, the relationship between good homomorphisms and istributive (resp. dual distributive)elements in hyperlattices are investigated.

The notions of a dual pseudo-Q algebra and a dual pseudo-QC algebra are introduced. The properties and characterizations of them are investigated. Conditions for a dual pseudo-Q algebra to be a dual pseudo-QC algebra are given. Commutative dual pseudo-QC algebras are considered. The interrelationships between dual pseudo-Q/QC algebras and other pseudo algebras are visualized in a diagram.

In this paper, we study local Hilbert algebras and give some theorems that characterize local Hilbert algebras. Also, we prove that, (i) H is a local Hilbert algebra if and only if the set of all dense elements of H is H ∖ {0}. (ii) H is a local Hilbert algebra if and only if the set of all regular elements of H is a local Boolean algebra. In a local Hilbert algebra H with supremum, we prove that: (i) If F is a Boolean filter of H, then F is a prime filter. (ii) F is a Boolean filter iff F is a maximal filter iff F = H ∖ {0}.

In this paper, we introduce a new algebra, called a BI-algebra, which is a generalization of a (dual) implication algebra and we discuss the basic properties of BI-algebras, and investigate ideals and congruence relations.

The purpose of this paper is the study of prime ideals and prime filters in hyperlattices. I-filter and the filter generated by a ∈ L are introduced. Moreover, we introduce dual distributive hyperlattices, and I-filter in dual distributive hyperlattices. Some properties of hyperlat- tices are studied and the relationship between prime ideals and prime filters in hyperlattices is discussed.

The aim of this work is to introduce some types of filters in Hilbert algebras. Some theorems are stated and proved which determine the relationship between these notions and other filters of Hilbert algebra and by some examples we show that these concepts are different. The relationships between these filters and quotient algebras that are constructed via these filters are described.

In this paper, we introduce the notion of distributive pseudo BE-algebra and show that the related relation defined on this structure is transitive and prove that every pseudo upper set is a pseudo filter. Also, the pseudo filter generated by a set is define and show that the set of all pseudo filters is distributive complete lattice but it is not complemented. the notion of prime and irreducible subset and prove that every irreducible subset is prime.