Results 51 to 60 of about 558 (113)

Singly generated quasivarieties and residuated structures [PDF]

, 2019
A quasivariety K of algebras has the joint embedding property (JEP) iff it is generated by a single algebra A. It is structurally complete iff the free countably generated algebra in K can serve as A.
Anderson A. R., Bergman C., Chang C. C., Citkin A. I., Citkin A. I., Dywan Z., Esakia L. L., Esakia L. L., Galatos N., Gorbunov V. A., Jónsson B., Kuznetsov A. V., Magari R., Maltsev A. I., Maltsev A. I., Maltsev A. I., Minari P., Pogorzelski W. A., Pogorzelski W. A., Prucnal T., Rybakov V. V., Wroński A., Wroński A., Wroński A., Łoś J., Łoś J.   +25 more
core   +2 more sources

Intuitionistic fuzzy ideals of BCK‐algebras

International Journal of Mathematics and Mathematical Sciences, Volume 24, Issue 12, Page 839-849, 2000., 2000
We consider the intuitionistic fuzzification of the concept of subalgebras and ideals in BCK‐algebras, and investigate some of their properties. We introduce the notion of equivalence relations on the family of all intuitionistic fuzzy ideals of a BCK‐algebra and investigate some related properties.
Young Bae Jun, Kyung Ho Kim
wiley   +1 more source

Solid weak BCC-algebras

, 2012
We characterize weak BCC-algebras in which the identity $(xy)z=(xz)y$ is satisfied only in the case when elements $x,y$ belong to the same ...
Bunder W. M., Chaudhry M. A., Chaudhry M. A., Dudek W. A., Dudek W. A., Dudek W. A., Dudek W. A., Dudek W. A., Dudek W. A., Dudek W. A., Huang Y. S., Iorgulescu A., Karamdin B., Komori Y., Meng J., Mundici D., Rasiowa H., Thomys J., Thomys J., Wieslaw A. Dudek, Zhang X. H., Zhang X. H., Zhang X. H., Zhang X. H.   +23 more
core   +1 more source

MBJ-neutrosophic ideals of BCK/BCI-algebras

Open Mathematics, 2019
The notion of MBJ-neutrosophic ideal is introduced, and its properties are investigated. Conditions for an MBJ-neutrosophic set to be an MBJ-neutrosophic ideal are provided.
Jun Young Bae, Roh Eun Hwan
doaj   +1 more source

Molecules and linearly ordered ideals of MV-algebras [PDF]

, 1997
We show that an ideal $I$ of an $MV$-algebra $A$ is linearly ordered if and only if every non-zero element of $I$ is a molecule. The set of molecules of $A$ is contained in $\operatorname{Inf}(A)\cup B_2(A)$ where $B_2(A)$ is the set of all elements $x ...
Hoo, C. S.
core   +2 more sources

Some decompositions of filters in residuated lattices

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2019
In this paper we introduce a new class of residuated lattice: residuated lattice with (C∧&→) property and we prove that (C∧&→) ⇔ (C→) + (C∧).Also, we introduce and characterize C→, C∨, C∧ and C∧ & → filters in residuated lattices (i.e., we characterize ...
Piciu Dana, Dan Christina Theresia, Chirteş Florentina   +2 more
doaj   +1 more source

Relation Between Be-Algebras and G-Hilbert Algebras

Discussiones Mathematicae - General Algebra and Applications, 2018
Hilbert algebras are important tools for certain investigations in algebraic logic since they can be considered as fragments of any propositional logic containing a logical connective implication and the constant 1 which is considered as the logical ...
Rezaei Akbar, Saeid Arsham Borumand
doaj   +1 more source

Fuzzy $h$-ideals of hemirings

, 2006
A characterization of an $h$-hemiregular hemiring in terms of a fuzzy $h$-ideal is provided. Some properties of prime fuzzy $h$-ideals of $h$-hemiregular hemirings are investigated.
Aho, Baik, Bogdanov, Cohen, Dubois, Ghosh, Glazek, Golan, Hashiguchi, Henriksen, Iizuka, Jianming Zhan, Jun, Kondo, La Torre, Malik, Mukherjee, Piochi, Roos, Salomaa, Wechler, Wiesław A. Dudek, Zhan   +22 more
core   +2 more sources

A general framework for product representations: bilattices and beyond

, 2015
This paper studies algebras arising as algebraic semantics for logics used to model reasoning with incomplete or inconsistent information. In particular we study, in a uniform way, varieties of bilattices equipped with additional logic-related operations
Cabrer, L. M., Priestley, H. A.
core   +1 more source

Generalized Rough Sets Applied to BCK/BCI-Algebras

Discussiones Mathematicae - General Algebra and Applications, 2021
The concept of a (strong) set-valued BCK/BCI-morphism in BCK/BCI-algebras is considered, and several properties are investigated. Conditions for a set-valued mapping to be a set-valued BCK/BCI-morphism are given.
Jun Young Bae, Song Seok-Zun, Roh Eun Hwan   +2 more
doaj   +1 more source