We are concerned with the subvariety of commutative, bounded, and integral residuated lattices, satisfying divisibility and prelinearity, namely, BL-algebras. We give an explicit combinatorial description of the category that is dual to finite BL-algebras. Building on this, we obtain detailed structural information on the locally finite subvarieties of BL-algebras that are analogous to Grigolia...

We investigate the combinatorics of interpolation in Gödel logic, the propositional logic whose algebraic semantics is the variety of Heyting algebras generated by chains. 1 Motivation In recent work, Busaniche and Mundici prove that Lukasiewicz logic has the Robinson property RP [4], exploiting the geometry of prime filters in the free finitely generated MV-algebra. In this note we recast thei...

Bosbach states represent a way of probabilisticly evaluating the formulas from various (commutative or non-commutative) many-valued logics. They are defined on the algebras corresponding to these logics with values in [0, 1]. Starting from the observation that in the definition of Bosbach states there intervenes the standard MV-algebra structure of [0, 1], in this paper we introduce Bosbach sta...

We present a complete logic for reasoning with functional dependencies (FDs) with semantics defined over classes of commutative integral partially ordered monoids and complete residuated lattices. The dependencies allow us to express stronger relationships between attribute values than the ordinary FDs. In our setting, the dependencies not only express that certain values are determined by othe...

In this paper, we investigate the properties of fuzzy Galois (dual Galois, residuated, and dual residuated) connections in a complete residuated lattice L. We give their examples. In particular, we study fuzzy Galois (dual Galois, residuated, dual residuated) connections induced by L-fuzzy relations.

In the first part, we extend our results from a previous paper on factorization of residuated lattices to residuated lattices with hedges. In the second part, we show how this result can be applied to the problem of factorization of fuzzy concept lattices with hedges. Our approach is that instead of factorizing the original concept lattice with hedges we construct a new data table with fuzzy va...

1. Residuated Lattices with iteration 2. Background: Semirings and Kleene algebras 3. A Gentzen system for Residuated Kleene Lattices and some reducts 4. Interpreting Kleene algebras with tests 1. Residuated Lattices with iteration This talk is mostly about Residuated Kleene Lattices, which are defined as noncommutative residuated 0,1-lattices expanded with a unary operation * that satisfies x ...

Stonean residuated lattices are closely related to Stone algebras since the bounded lattice reduct of a distributive Stonean residuated lattice is a Stone algebra. In the present work we follow the ideas presented by Chen and Grätzer and try to apply them for the case of Stonean residuated lattices. Given a Stonean residuated lattice, we consider the triple formed by its Boolean skeleton, its a...

In this paper we study particular classes of pseudo-BCK algebras, bounded or not bounded, as pseudo-BCK(pP) algebras, pseudo-BCK(pP) lattices, pseudo-Hájek(pP) algebras and pseudo-Wajsberg algebras. We introduce new classes of pseudo-BCK(pP) lattices, we establish hierarchies and we give some examples. We work with left-defined algebras and we work with → and ; as primitive operations, not with...

In this paper we study the dense elements and the radical of a residuated lattice, residuated lattices with lifting Boolean center, simple, local, semilocal and quasi-local residuated lattices. BL-algebras have lifting Boolean center; moreover, Glivenko residuated lattices which fulfill the equation (¬ a → ¬ b) → ¬ b = (¬ b → ¬ a) → ¬ a have lifting Boolean center.