Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. In this work, the need of biresiduated pairs is justified through the study of a very intuitive family of operators, which turn out to be not necessarily commuta...

The first part of this paper provides a comprehensive and self-contained account of the interrelationships between algebraic properties of varieties and properties of their free algebras and equational consequence relations. In particular, proofs are given of known equivalences between the amalgamation property and the Robinson property, the congruence extension property and the extension prope...

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).

In this paperwe adapt thewell-knownBrzozowskideterminizationmethod to fuzzy automata. Thismethod gives better results than all previously knownmethods for determinization of fuzzy automata developed by Bělohlávek [InformSciences 143 (2002)205–209],Li andPedrycz [FuzzySet Syst 156 (2005)68–92], Ignjatović et al. [Inform Sciences 178 (2008) 164–180], and Jančić et al. [Inform Sciences 181 (2011) ...

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.