We show that the size reduction problem for fuzzy automata is related to the problem of solving a particular system of fuzzy relation equations. This system consists of infinitely many equations, and finding its general solution is a very difficult task, so we first consider one of its special cases, a finite system whose solutions, called right invariant fuzzy equivalences, are common generali...

Formal concept analysis is a particular method of analysis of relational data. In addition to tools for data analysis, formal concept analysis provides elaborated mathematical foundations for relational data. In the course of the last decade, several attempts appeared to extend formal concept analysis to data with graded (fuzzy) attributes. Among these attempts, an approach based on residuated ...

We extend Cayley’s and Holland’s representation theorems to idempotent semirings and residuated lattices, and provide both functional and relational versions. Our analysis allows for extensions of the results to situations where conditions are imposed on the order relation of the representing structures. Moreover, we give a new proof of the finite embeddability property for the variety of integ...

It is well-known that the representation of several classes of residuated lattices involves lattice-ordered groups. An often applicable method to determine the representing group (or groups) from a residuated lattice is based on partial algebras: the monoidal operation is restricted to those pairs which fulfil a certain extremality condition, and else left undefined. The subsequent construction...

Substructural logics extending the full Lambek calculus FL have largely benefited from a systematical algebraic approach based on the study of their algebraic counterparts: residuated lattices. Recently, a non-associative generalization of FL (which we call SL) has been studied by Galatos and Ono as the logics of lattice-ordered residuated unital groupoids. This paper is based on an alternative...

In this paper, we weaken the conditions for the existence of adjoint closure operators, going beyond the standard requirement of additivity/co-additivity. We consider the notion of join-uniform (lower) closure operators, introduced in computer science, in order to model perfect lossless compression in transformations acting on complete lattices. Starting from Janowitz’s characterization of resi...

In this paper we study systems of fuzzy relation inequalities and equations of the formU ◦Vi 6 Vi ◦U (i ∈ I), where U is an unknown and Vi (i ∈ I) are given fuzzy relations, the dual systems Vi ◦ U 6 U ◦ Vi (i ∈ I), their conjunctions, the systems of the formU◦Vi = Vi◦U (i ∈ I), and certain special types of these systems. We call themweakly linear systems. For each weakly linear system, with a ...

Residuation is a fundamental concept of ordered structures and categories. In this survey we consider the consequences of adding a residuated monoid operation to lattices. The resulting residuated lattices have been studied in several branches of mathematics, including the areas of lattice-ordered groups, ideal lattices of rings, linear logic and multi-valued logic. Our exposition aims to cover...

Closure (interior) operators and closure systems are important tools in many mathematical environments. Considering the logical sense of a complete residuated lattice L, this paper aims to present concepts L-closure (L-interior) by means infimums (supremums) L-families L-subsets show their equivalence categorical sense. Also, two types fuzzy relations between corresponding L-interior proposed, ...

A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of image-finite models of these logics to admit the Henne...