for all x, y, z ∈ L. (So we do not require the dual arrow nor the associativity of .) In other words, the actions − y, y ( − : L→ L, for any fixed y ∈ L, provide a Galois connection on L. The Galois connection is also completely determined by the partial isomorphism between fixpoints of closure mapping y ( (− y) and coclosure mapping (y ( −) y. Thus we can restrict ,( to partial operations ·,→ ...

ACKNOWLEDGMENTS This thesis wouldn't have been possible without the help and support of certain people. I could not possibly itemize my gratitude in detail, but I would like to mention some of the most important names. First and foremost, I would like to thank my advisor, Constantine Tsinakis, for introducing me to the subject of residuated lattices, and for his guidance and advice. Despite his...

D. Buşneag 1 defined pseudo valuation on a Hilbert algebra and proved that every pseudo valuation induces a pseudometric on a Hilbert algebra. Also, D. Buşneag 2 provided several theorems on extensions of pseudo valuations. C. Buşneag 3 introduced the notions of pseudo valuations valuations on residuated lattices, and proved some theorems of extension for these using the model of Hilbert algebr...

In this paper, we introduced two types of fuzzy stabilizers St R (F) and St ⊕ R (F) of a fuzzy set F and the stabilizer St ∨(F, G) of F with respect to G in IMTL-algebras. We proved that St R (F), St ⊕ R (F) and St ∨(F, G) are fuzzy filters of M. We investigated some properties of the stabilizers. By introducing the ⊗̃ operation of two fuzzy filters, we prove that ⊗̃ and St∨(·, ·) form an adjoint...

The main part of the theory of residuated groupoids has been technical and the results apparently diverse in nature. However P. Dubreil and R. Croisot [5], using the concepts of residuated and residual maps, were able to present the basic properties of residuals in a simple unified manner. R. Croisot [3] carried on this study. In this paper we build a theory of residuated and residual maps whic...

We present the numbers of all non-isomorphic residuated lattices with up to 12 elements and a link to a database of these lattices. In addition, we explore various characteristics of these lattices such as the width, length, and various properties considered in the literature and provide the corresponding statistics. We also present algorithms for computing finite lattices and finite residuated...

Let B be a collection of fuzzy sets. What are the fuzzy sets which are sufficiently similar to every fuzzy set from B, i.e. ‘central’ fuzzy sets for B? Such a question naturally arises if B is large and one wishes to replace B by a single fuzzy set – the representative of B. In this paper, we develop a framework which enables us to answer this question and related ones. We use complete residuat...

We present results regarding row and column spaces of matrices whose entries are elements of residuated lattices. In particular, we define the notions of a row and column space for matrices over residuated lattices, provide connections to concept lattices and other structures associated to such matrices, and show several properties of the row and column spaces, including properties that relate ...

We develop the filter theory in triangle algebras. We define several interval valued residuated lattice-filters (IVRL-filters for short) in triangle algebras. We investigate the relationships among these types of IVRL-filters. Also, some special triangle algebras are introduced and studied in details.

In this paper, we introduce the notions of L-fuzzy quasi-uniformities and Lfuzzy interior operators in complete residuated lattices. We investigate the L-fuzzy quasiuniformities induced by L-fuzzy interior operators. We study the relationships between Lfuzzy interior operators and L-fuzzy quasi-uniformities. We give their examples. AMS Subject Classification: 03E72, 06A15, 06F07, 54F05