This paper discusses the properties of reachability and observability for linear systems over the max-plus algebra. Working in the event-domain, the concept of asticity is used to develop conditions for weak reachability and weak observability. In the reachability problem, residuation is used to determine if a state is reachable and to generate the required control sequence to reach it. In the ...

This is an introductory survey of substructural logics and of residuated lattices which are algebraic structures for substructural logics. Our survey starts from sequent systems for basic substructural logics and develops the proof theory of them. Then, residuated lattices are introduced as algebraic structures for substructural logics, and some recent developments of their algebraic study are ...

In this paper, we define hedge operation on a residuated skew lattice and investigate some its properties. We get relationships between some special sets as dense, nilpotent, idempotent, regular elements sets and their hedges.  By examples, we show that hedge of a dense element is not a dense and hedge of a regular element is not a regular. Also hedge of a nilpotent element is a nilpotent and h...

In this paper we extend the notion of  degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and  introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...

In this paper, we investigate two L-neighborhood systems induced by an Lfuzzy topology in a complete residuated lattice L. We study the relationships among L-fuzzy topology, L-topologies and L-neighborhood systems. Finally, we give their examples. AMS Subject Classification: 03E72, 06A15, 06F07, 54A05

This paper is an extended abstract of my paper [12] published in Fuzzy Set and Systems. We start from a residuated lattice L and a monoid M , and we define a Galois connection from the lattice of the compatible L-preorders in M and the lattice of L-submonoids of M . Given a set S we define a Galois connection between the lattice of the L-preorders in S and the lattice of L-submonoids of the mon...

In this paper, we investigate the properties of join (meet) preserving and meet-join (join-meet) maps in complete residuated lattices. Mathematics Subject Classification: 03E72, 03G10, 06A15, 06F07

It is proved that the variety of representable idempotent commutative residuated lattices is locally finite. The n-generated subdirectly irreducible algebras in this variety are shown to have at most 3n+1 elements each. A constructive characterization of the subdirectly irreducible algebras is provided, with some applications. The main result implies that every finitely based extension of posit...

The “representation problem” in abstract algebraic logic is that of finding necessary and sufficient conditions for a structure, on a well defined abstract framework, to have the following property: that for every structural closure operator on it, every structural embedding of the expanded lattice of its closed sets into that of the closed sets of another structural closure operator on another...

In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follows, including various types of completeness theorems of substructural logics.