Results 71 to 80 of about 74,358 (176)
Computational reaching of quantified consequences from imperfect initial data
Usually, it is not direct to translate theoretical results to practice. One of the challenges is the real computation of solutions to proposed problems, when infinite numbers (such as real numbers or the unit interval) are considered. The same is true when consequences (information) from a data set modeled by logical rules need to be obtained.
Jesús Medina +1 more
wiley +1 more source
The pure spectrum of a residuated lattice
43 pages, 5 figures, original paper.
Saeed Rasouli, Amin Dehghani
openaire +4 more sources
Studying the Theory of Hoops Through Some Type of Filters
It is known that the class of hoops is ideally determined, in the sense that every filter of any hoop H is a 1‐class of a unique congruence relation on H. This confirms that every filter in a hoop determines one and only one quotient structure. So, given a hoop H and a filter π of H, it is natural to question ourselves what should be the defining ...
Gezahagne Mulat Addis +2 more
wiley +1 more source
Topological Structures of Fuzzy Modal Logics Based on Residuated Lattices
The purpose of this paper is to interpret fuzzy Kripke models as fuzzy information systems with objects and attributes. We introduce topological structures (interior, closure operators, Alexandrov pretopologies, Alexandrov precotopologies, fuzzy rough ...
Yong Chan Kim, Young-Hee Kim
doaj +1 more source
The Spectral Space of H‐Fuzzy Prime Ideals in Distributive Join‐Semilattices
The essential characteristics of H‐fuzzy prime ideals and H‐fuzzy maximal ideals within distributive join‐semilattices are introduced and examined in this work. We present a number of characterization theorems and prove findings related to the prime ideal theorem. We show that every H‐fuzzy prime ideal (or H‐fuzzy maximal ideal) has exactly two values:
Mohammed Amare Mohammed +4 more
wiley +1 more source
Topological Properties of Prime Filters and Minimal Prime Filters on a Paradistributive Latticoid
In this paper, we study the concepts of prime filters and minimal prime filters on a paradistributive latticoid (PDL) and discuss various results. In addition, we prove that the annihilator filter S• is equal to the intersection of all prime filters not containing S.
Suryavardhani Ajjarapu +4 more
wiley +1 more source
ℒ-Fuzzy Ideals of Residuated Lattices
This paper mainly focuses on building the ℒ-fuzzy ideals theory of residuated lattices. Firstly, we introduce the notion of ℒ-fuzzy ideals of a residuated lattice and obtain their properties and equivalent characterizations. Also, we introduce the notion
Kengne Pierre Carole +3 more
doaj +1 more source
Amalgamation in varieties of residuated lattices
We investigate the amalgamation property (AP) in varieties of residuated lattices. This endeavor is motivated both from the purely algebraic point of view as well as from the logical point of view through the importance of residuated lattices as ...
Santschi, Simon Elia
core +1 more source
Matrices over residuated lattices [PDF]
Residuated lattices simultaneously generalise lattice-ordered groups and the structures used to model various many-valued logics (e.g., Boolean algebras, Heyting algebras and MV-algebras).
core
Amalgamation in Semilinear Residuated Lattices [PDF]
We survey the state of the art on amalgamation in varieties of semilinear residuated lattices. Our discussion emphasizes two prominent cases from which much insight into the general picture may be gleaned: idempotent varieties and their generalizations ($
Fussner, Wesley, Santschi, Simon
core +3 more sources

