# 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

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

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

## References

SHOWING 1-10 OF 19 REFERENCES

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

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

### Ideals in universal algebras

- Mathematics
- 1984

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

- MathematicsSoft Comput.
- 2008

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