Results 11 to 20 of about 347 (90)
Semilattices global valuations in the topos approach to quantum mechanics [PDF]
In the framework of the topos approach to quantum mechanics a kind of global valuation is introduced and studied. It allows us to represent certain features related to the logical consequences of properties about quantum systems when its phase space is ...
de Ronde, Christian +2 more
core +1 more source
A new algebraic structure was introduced, called an eGE-algebra, which is a generalisation of a GE-algebra and investigated its properties. We explore the definition of filters and the quotient algebra associated with such filters.
Bandaru R.K., Rafi N., Rezaei A.
doaj +1 more source
Quasi-Complemented BE-Algebras
The concept of O-filters is introduced in commutative BE-algebras. An equivalent condition is derived for every strong regular filter of a BE-algebra to become an O-filter.
Kumar V. Venkata +2 more
doaj +1 more source
Commutative Energetic Subsets of BCK-Algebras [PDF]
The notions of a C-energetic subset and (anti) permeable C-value in BCK-algebras are introduced, and related properties are investigated. Conditions for an element t in [0, 1] to be an (anti) permeable C-value are provided.
Jun, Young Bae +2 more
core +1 more source
Radical approach in BCH‐algebras
We define the notion of radical in BCH‐algebra and investigate the structure of [X; k], a viewpoint of radical in BCH‐algebras.
Eun Hwan Roh
wiley +1 more source
Interior GE-Filters of GE-Algebras
The notions of an interior GE-filter, a weak interior GE-filter and a belligerent interior GE-filter are introduced, and their relations and properties are investigated. Example of a GE-filter which is neither an interior GE-filter nor a weak interior GE-
Song Seok-Zun +3 more
doaj +1 more source
Fuzzy multiply positive implicative hyper BCK‐ideals of hyper BCK‐algebras
We consider the fuzzification of the notion of fuzzy multiply positive implicative hyper BCK‐ideals of BCK‐algebras and then some related results are obtained. Using the concept of level subsets, we give a characterization of a fuzzy multiply positive implicative hyper BCK‐ideal.
Jianming Zhan, Dajing Xiang, Zhisong Tan
wiley +1 more source
We consider some fundamental properties of QS‐algebras and show that (1) the theory of QS‐algebras is logically equivalent to the theory of Abelian groups, that is, each theorem of QS‐algebras is provable in the theory of Abelian groups, and conversely, each theorem of Abelian groups is provable in the theory of QS‐algebras; and (2) a G‐part G(X) of a ...
Michiro Kondo
wiley +1 more source
Some categorical aspects of BCH‐algebras
We show that the category BCH of BCH‐algebras and BCH‐homomorphisms is complete. We also show that it has coequalizers, kernel pairs, and an image factorization system. It is also proved that onto homomorphisms and coequalizers, and monomorphisms and one‐to‐one homomorphisms coincide, respectively, in BCH.
Muhammad Anwar Chaudhry +1 more
wiley +1 more source
Spectra and reticulation of semihoops
In this article, we further study the filter theory of semihoops. Moreover, we use the prime (maximal) filters to construct the prime (maximal) spectrum on semihoops, and prove that the prime spectrum is a compact T0{T}_{0} topological space and that the
Tang Yu Jie, Xin Xiao Long, Zhou Xin
doaj +1 more source

