2 citations · 8 across the 7 of their papers we have counts for
3 papers · 1 filter
Join-completions of ordered algebras
José Gil-Férez, Luca Spada, Constantine Tsinakis +1
We present a systematic study of join-extensions and join-completions of ordered algebras, which naturally leads to a refined and simplified treatment of fundamental results and co…
Canonical formulas for k-potent commutative, integral, residuated lattices
Nick Bezhanishvili, Nick Galatos, Luca Spada
Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Actually, they provide a uniform and semantic way to axiomatise all extensions of intuitionisti…
Representation of Perfect and Local MV-algebras
Brunella Gerla, Ciro Russo, Luca Spada
We describe representation theorems for local and perfect MV-algebras in terms of ultraproducts involving the unit interval [0,1]. Furthermore, we give a representation of local Ab…