Research Article L-Fuzzy Congruences and L-Fuzzy Kernel Ideals in Ockham Algebras Teferi Getachew Alemayehu, 1 Derso Abeje Engidaw , 2 and Gezahagne Mulat Addis 2 1 Department of Mathematics, Debre Berhan University, Debre Berhan, Ethiopia 2 Department of Mathematics, University of Gondar, Gondar, Ethiopia Correspondence should be addressed to Gezahagne Mulat Addis; buttu412@yahoo.com Received 25 February 2021; Revised 29 May 2021; Accepted 1 June 2021; Published 19 June 2021 Academic Editor: Basil Papadopoulos Copyright © 2021 Teferi Getachew Alemayehu et al. is is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. In this paper, we study fuzzy congruence relations and kernel fuzzy ideals of an Ockham algebra (A, f),whosetruthvaluesareina complete lattice satisfying the infinite meet distributive law. Some equivalent conditions are derived for a fuzzy ideal of an Ockham algebra A to become a fuzzy kernel ideal. We also obtain the smallest (respectively, the largest) fuzzy congruence on A having a given fuzzy ideal as its kernel. 1. Introduction Zadeh [1] introduced the concept of fuzzy sets, which has been found to be very useful in diversely applied areas of science and technology. In the last two decades, several articles have been written on the application of fuzzy sets. For instance, in medical diagnosis, Kaur and Chaira [2] proposed a novel fuzzy clustering approach that enhances the quality of vague CT scan/MRI image before segmenta- tion. In addition, many authors (e.g., [3–6]) applied the theory of fuzzy sets in decision-making. Furthermore, the theory of fuzzy sets has been conveniently and successfully applied in abstract algebra. e study of fuzzy subalgebras of various algebraic structures has been started after Rosenfeld wrote his seminal paper [7] on fuzzy subgroups. His paper has provided sufficient motivation to researchers to study fuzzy subalgebras of different algebraic structures. For in- stance, fuzzy ideals and fuzzy filters of MS-algebras [8–10], some generalizations of fuzzy ideals in distributive lattices [11–13], fuzzy ideals and fuzzy filters of partially ordered sets [14, 15], and fuzzy ideals of universal algebras [16–18] are some of recent works on fuzzy subalgebraic structures. As an extension of Zadeh’s fuzzy set theory [1], Atanassov [19] introduced the intuitionistic fuzzy sets (IFS), characterized by a membership function and a nonmem- bership function. Further investigation has been made by other scholars to apply the theory of intuitionistic fuzzy sets in the class of BG-algebras [20], B-algebras [21], and BCK-al- gebras [22] as well. A fuzzy congruence relation on general algebraic struc- tures is a fuzzy equivalence relations which is compatible (in a fuzzy sense) with all fundamental operations of the algebra. e notions of fuzzy congruence relations were studied in various algebraic structures: in semigroups (see [23, 24]), in groups, rings, and semirings (see [25–30]), in modules and vector spaces (see [31, 32]), in lattices (see [33, 34]), in almost distributive lattices and MS-algebras (see [35, 36]), and, more generally, in universal algebras (see [37–39]). e notion of Ockham algebras was initially introduced by Berman [40] in 1977. In simple terminology, an Ockham algebra is a bounded distributive lattice equipped with a dual endomorphism. Blyth and Silva [41] have studied and characterized kernel ideals in Ockham algebra. e purpose of this paper is to apply the theory of L-fuzzy sets in the class of Ockham algebras, where L is a complete lattice satisfying the infinite meet distributive law: a ∧ sup S � sup a ∧ x: x ∈ S { }, (1) Hindawi Journal of Mathematics Volume 2021, Article ID 6644443, 12 pages https://doi.org/10.1155/2021/6644443