Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic SHI with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of SHI...

On the real unit interval, the notion of a Girard monoid coincides with the notion of a t-norm-based residuated lattice with strong induced negation. A geometrical approach toward these Girard monoids, based on the notion of rotation invariance, is turned in an adequate axiomatization for the Involutive Monoidal T-norm-based residuated Logic (IMTL).

Lattice-ordered monoids are important backgrounds and algebraic foundations of residuum in general. The t-norm based lattices are investigated widely in fuzzy models, but in recent time while researching new approximate reasoning methods in soft computing based models and fuzzy models, the investigations are focused on new types of operators, like uninorms. It is necessary to find and define co...

Different notions of coherence and consistence have been proposed in the literature on fuzzy systems. In this work we focus on the relationship between some of the approaches developed, on the one hand, based of residuated lattices and, on the other hand, based on the theory of bilattices.

Sugeno integrals and their particular cases such as weighted minimum and maximum have been used in multiple-criteria aggregation when the evaluation scale is qualitative. This paper proposes two new variants of weighted minimum and maximum, where the criteria weights have a role of tolerance threshold. These variants require the use of a residuated structure, equipped with an involutive negatio...

A residuated lattice is an ordered algebraic structure L = 〈L,∧,∨, · , e, \ , / 〉 such that 〈L,∧,∨〉 is a lattice, 〈L, ·, e〉 is a monoid, and \ and / are binary operations for which the equivalences a · b ≤ c ⇐⇒ a ≤ c/b ⇐⇒ b ≤ a\c hold for all a, b, c ∈ L. It is helpful to think of the last two operations as left and right division and thus the equivalences can be seen as “dividing” on the right...

In this article we prove a set of preservation properties of the reticulation functor for residuated lattices (for instance preservation of subalgebras, finite direct products, inductive limits, Boolean powers) and we transfer certain properties between bounded distributive lattices and residuated lattices through the reticulation, focusing on Stone, strongly Stone and m-Stone algebras. 2000 Ma...

We investigate a relationship between extensionality of fuzzy relations and their Lipschitz continuity on generalized metric spaces. The duality of these notions is shown, and moreover, two particular applications of the extensionality property in the field of approximation are given.