# 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}
}
• Published 1 February 2011
• Mathematics
• 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

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

• ANTONIO LEDDA
• 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

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

## References

SHOWING 1-10 OF 19 REFERENCES

### Duality of Normally Presented Varieties

• Mathematics
Int. 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

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

• Antonio Ledda
• Mathematics
Stud 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

• P. JipsenAntonio Ledda
• Mathematics
Reports 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

• F. BouAntonio Ledda
• Mathematics
Soft Comput.
• 2008
It is shown that quasi-MV algebras, as well as cartesian and flat $$\sqrt{^{\prime}}$$ quasi- MV algeria, have the amalgamation property.