Completion and amalgamation of bounded distributive quasi lattices

  title={Completion and amalgamation of bounded distributive quasi lattices},
  author={Majid Alizadeh and Antonio Ledda and Hector Freytes},
  journal={Log. J. IGPL},
In this note we present a completion for the variety of bounded distributive quasi lattices, and, inspired by a well-known idea of L.L. Maksimova [14], we apply this result in proving the amalgamation property for such a class of algebras. 
4 Citations

A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0

In this work, we investigate a categorical equivalence between the class of bounded distributive quasi lattices that satisfy the quasiequation x∨0 = 0 =⇒ x = 0, and a category whose objects are


Recently, several authors extended Priestley duality for distributive lattices [9] to other classes of algebras, such as, e.g. distributive lattices with operators [7], MV -algebras [8], MTL and IMTL

Curriculum scientifico e didattico

Valeria Mininno è professore ordinario a tempo pieno del raggruppamento disciplinare ing-ind/35, insegna Economia ed Organizzazione Aziendale, Gestione d’Impresa, Supply Chain Management e Ebusiness

Filters and Ideals in Q-lattices

  • Wenjuan Chen
  • Mathematics
    Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery
  • 2022



Ordered Sets and Duality for Distributive Lattices

Duality of Normally Presented Varieties

A finite algebra and a relational system, constructed explicitly from the system for , such that and dualizes the variety determined by all normal identities of.

Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras

In recent years there have appeared many studies of an interesting and important property of logical theories, the so-called Craig interpolation theorem. Craig proved the interpolation theorem for

MV-Algebras and Quantum Computation

It is shown that every quasi-MV algebra is embeddable into the direct product of an MV algebra and a “flat” quasi-V algebra, and a completeness result w.r.t. a standard quasi- MV algebra over the complex numbers is proved.

On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV

It is shown that the variety of √ qMV algebras has the amalgamation property, and an axiomatisation of the 1-assertional logic of £1.25 is provided.

Residuated lattices: An algebraic glimpse at sub-structural logics

This book considers both the algebraic and logical perspective within a common framework, and shows how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones.

Natural Dualities for the Working Algebraist

1. Dual adjunctions and where to find them 2. Natural dualities 3. Strong dualities 4. Examples of strong dualities 5. Sample applications 6. What makes a duality useful? 7. Piggyback dualities 8.

Ideals in universal algebras

In many familiar classes of algebraic structures kernels of congruence relations are uniquely specified by the inverse images q~-l(0)= {x [ q~(x)= 0} of a specified constant 0. On the one hand,

On some properties of quasi-MV algebras and $$\sqrt{^{\prime}}$$ quasi-MV algebras. Part II

It is shown that quasi-MV algebras, as well as cartesian and flat $$\sqrt{^{\prime}}$$ quasi- MV algeria, have the amalgamation property.