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

Titoli: Mag. 95 PhD in Electrical Engineering and Computer Science, presso il Massachussetts Institute of Technology, Cambridge, MA, USA. Titolo della tesi: Modeling and Verification of Randomized

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

Amalgamation property for the class of basic algebras and some of its natural subclasses

The amalgamation property for the class of Basic algebras is proved, and it is shown that a faithful theory has the interpolation property if and only if its correspondence class of alge bras has the amalgamationproperty.

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

An Introduction to Lattices and Order

This chapter discusses the structure of finite distributive lattices and finite Boolean algebras, and the role of lattices in algebra in this structure.

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.