# Completion and amalgamation of bounded distributive quasi lattices

@article{Alizadeh2011CompletionAA, title={Completion and amalgamation of bounded distributive quasi lattices}, author={Majid Alizadeh and Antonio Ledda and Hector Freytes}, journal={Log. J. IGPL}, year={2011}, volume={19}, pages={110-120} }

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

- Mathematics
- 2014

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…

### A DUALITY FOR QUASI ORDERED STRUCTURES ( I )

- Mathematics
- 2010

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

- Computer Science
- 2015

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

- MathematicsAdvances in Natural Computation, Fuzzy Systems and Knowledge Discovery
- 2022

## References

SHOWING 1-10 OF 19 REFERENCES

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

- MathematicsArch. Math. Log.
- 2006

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

- MathematicsInt. J. Algebra Comput.
- 2000

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

- Philosophy, Mathematics
- 1977

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

- Mathematics
- 1989

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

- MathematicsStud Logica
- 2006

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

- MathematicsReports Math. Log.
- 2013

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

- Mathematics
- 2007

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

- Mathematics
- 1998

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.…