نتایج جستجو برای: complete residuated lattices

تعداد نتایج: 381361  

‎We give a simple and independent axiomatization of reticulations on residuated lattices‎, ‎which were axiomatized by five conditions in [C‎. ‎Mureşan‎, ‎The reticulation of a residuated lattice‎, ‎Bull‎. ‎Math‎. ‎Soc‎. ‎Sci‎. ‎Math‎. ‎Roumanie‎ ‎51 (2008)‎, ‎no‎. ‎1‎, ‎47--65]‎. ‎Moreover‎, ‎we show that reticulations can be considered as lattice homomorphisms between residuated lattices and b...

2015
Mai Gehrke

In this chapter we survey some developments in topological duality theory and the theory of completions for lattices with additional operations paying special attention to various classes of residuated lattices which play a central role in substructural logic. We hope this chapter will serve as an introduction and invitation to these subjects for researchers and students interested in residuate...

2006
Bart Van Gasse Chris Cornelis Glad Deschrijver Etienne E. Kerre

In this paper, we present triangle algebras: residuated lattices equipped with two modal, or approximation, operators and with a third angular point u, different from 0 (false) and 1 (true), intuitively denoting ignorance about a formula’s truth value. We prove that these constructs, which bear a close relationship to several other algebraic structures including rough approximation spaces, prov...

Journal: :Mathematics 2022

To express wider uncertainty, B?hounek and Da?ková studied fuzzy partial logic function. At the same time, Borzooei generalized t-norms put forward concept of when studying lattice valued quantum effect algebras. Based on t-norms, Zhang et al. residuated implications (PRIs) proposed lattices (PRLs). In this paper, we mainly study related algebraic structure logic. First, provide definitions reg...

Journal: :Int. J. Approx. Reasoning 2015
Radim Belohlávek Michal Krupka

The paper presents results on approximation in residuated lattices given that closeness is assessed by means of biresiduum. We describe central points and optimal central points of subsets of residuated lattices and provide properties of these points. In addition, we present algorithms for two problems regarding optimal approximation.

Journal: :Soft Computing 2022

In this paper, a combination of algebraic and topological methods is applied to obtain new structural results on Gelfand residuated lattices. It demonstrated that Gelfand’s lattices strongly tied up with the hull–kernel topology. Particularly, it shown lattice if only its prime spectrum, equipped topology, normal. The class soft introduced, semisimple. are characterized using pure part filters....

2011
Antonín Dvorák Michal Holcapek

Recently we proposed a new type of fuzzy integrals defined over complete residuated lattices. These integrals are intended for the modeling of type ⟨1, 1⟩ fuzzy quantifiers. An interesting theoretical question is, how to introduce various notions of convergence of this type of fuzzy integrals. In this contribution, we would like to present some results on strong and pointwise convergence of the...

2016
Yuan Wang Keming Tang Zhudeng Wang

In this note, we continue the works in the paper [Some properties of L-fuzzy approximation spaces on bounded integral residuated lattices", Information Sciences, 278, 110-126, 2014]. For a complete involutive residuated lattice, we show that the L-fuzzy topologies generated by a reflexive and transitive L-relation satisfy (TC)L or (TC)R axioms and the L-relations induced by two L-fuzzy topologi...

Journal: :Soft Computing 2022

This paper applies a combination of algebraic and topological methods to obtain new structural results on mp- purified residuated lattices. It is demonstrated that mp-residuated lattices are strongly tied up with the dual hull-kernel topology. Mainly, it shown lattice mp if only its minimal prime spectrum, equipped topology, Hausdorff fitted normal. For $${\mathfrak {A}}$$ subalgebra {S}}$$ , n...

Journal: :Transactions of the American Mathematical Society 1939

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید