Results 21 to 30 of about 2,056 (173)
A General Categorical Framework of Minimal Realization Theory for a Fuzzy Multiset Language
Mathematical Problems in Engineering, Volume 2022, Issue 1, 2022., 2022 This paper is to study the minimal realization theory for a fuzzy multiset language in the framework of category theory, which has already provided the tools and techniques for the advancement of several features of theoretical computer science. Specifically, by using the well‐known categorical concepts, it is shown herein that there is a minimal ...
Swati Yadav, S. P. Tiwari, Ali Ahmadian
wiley +1 more source
Kites and residuated lattices [PDF]
Algebra universalis, 2018 We investigate a construction of an integral residuated lattice starting from an integral residuated lattice and two sets with an injective mapping from one set into the second one. The resulting algebra has a shape of a Chinese cascade kite, therefore, we call this algebra simply a kite.
Botur, Michal, Dvurečenskij, Anatolij
openaire +2 more sources
(Skew) Filters in Residuated Skew Lattices [PDF]
Scientific Annals of Computer Science, 2018 In this paper, we show the relationship between (skew) deductive system and (skew) filter in residuated skew lattices. It is shown that if a residuated skew lattice is conormal, then any skew deductive system is a skew filter under a condition and ...
R. Koohnavard, A. Borumand Saeid
doaj +1 more source
Residuated Lattices with Noetherian Spectrum
Mathematics, 2022 In this paper, we characterize residuated lattices for which the topological space of prime ideals is a Noetherian space. The notion of i-Noetherian residuated lattice is introduced and related properties are investigated.
Dana Piciu, Diana Savin
doaj +1 more source
Fuzzy Ideals in Pseudo‐Hoop Algebras
International Journal of Mathematics and Mathematical Sciences, Volume 2022, Issue 1, 2022., 2022 In this study, fuzzy ideals in pseudo‐hoop algebras are presented. Also, we investigate fuzzy congruences relations on pseudo‐hoop algebras induced by fuzzy ideals. By using fuzzy ideals, we create the fuzzy quotient pseudo‐hoop algebras and identify and demonstrate the one‐to‐one relationship between the set of all normal fuzzy ideals of a pseudo‐hoop
Teferi Getachew Alemayehu +1 more
wiley +1 more source
Pseudo Quasi-Ordered Residuated Systems, An Introduction
Pan-American Journal of Mathematics, 2022 The concept of quasi-ordered residuated systems was introduced in 2018 by S. Bonzio and I. Chajda as a generalization of both hoop-algebras and commutative residuated lattices ordered by quasi-orders.
Daniel A. Romano
doaj +1 more source
On State Ideals and State Relative Annihilators in De Morgan State Residuated Lattices
International Journal of Mathematics and Mathematical Sciences, Volume 2022, Issue 1, 2022., 2022 The concept of state has been considered in commutative and noncommutative logical systems, and their properties are at the center for the development of an algebraic investigation of probabilistic models for those algebras. This article mainly focuses on the study of the lattice of state ideals in De Morgan state residuated lattices (DMSRLs).
Francis Woumfo +4 more
wiley +1 more source
Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras [PDF]
, 2016 We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering (or directed) unification, that is, the property that for every two unifiers there is a ...
Dzik, Wojciech, Radeleczki, Sándor
core +2 more sources
Journal of Mathematics, Volume 2022, Issue 1, 2022., 2022 The main goal of this paper is to introduce and investigate the related theory on monadic effect algebras. First, we design the axiomatic system of existential quantifiers on effect algebras and then use it to give the definition of the universal quantifier and monadic effect algebras.
Yuxi Zou, Xiaolong Xin, Li Guo
wiley +1 more source
Integrally Closed Residuated Lattices [PDF]
Studia Logica, 2019 A residuated lattice is defined to be integrally closed if it satisfies the equations x\x = e and x/x = e. Every integral, cancellative, or divisible residuated lattice is integrally closed, and, conversely, every bounded integrally closed residuated lattice is integral.
José Gil-Férez +2 more
openaire +4 more sources