×

zbMATH — the first resource for mathematics

Spada, Luca

Compute Distance To:
Author ID: spada.luca Recent zbMATH articles by "Spada, Luca"
Published as: Spada, L.; Spada, Luca
External Links: MGP · ORCID · dblp
Documents Indexed: 19 Publications since 2005, including 1 Book

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 50 times in 36 Documents Cited by Year
The dual adjunction between MV-algebras and Tychonoff spaces. Zbl 1252.06006
Marra, Vincenzo; Spada, Luca
14
2012
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras. Zbl 1275.03099
Marra, Vincenzo; Spada, Luca
12
2013
MV-algebras, infinite dimensional polyhedra, and natural dualities. Zbl 1367.06006
Cabrer, Leonardo M.; Spada, Luca
5
2017
Representation of MV-algebras by regular ultrapowers of \([0,1]\). Zbl 1196.06005
Di Nola, Antonio; Lenzi, Giacomo; Spada, Luca
4
2010
Ł\(\Pi\) logic with fixed points. Zbl 1179.03031
Spada, Luca
3
2008
Canonical formulas for \(k\)-potent commutative, integral, residuated lattices. Zbl 1420.03147
Bezhanishvili, Nick; Galatos, Nick; Spada, Luca
2
2017
Advances in the theory of \(\mu \)Ł\(\Pi \) algebras. Zbl 1252.03146
Marchioni, Enrico; Spada, Luca
2
2011
\(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic. Zbl 1183.06006
Spada, Luca
2
2008
Forcing in Łukasiewicz predicate logic. Zbl 1170.03013
Di Nola, Antonio; Georgescu, George; Spada, Luca
2
2008
Continuous approximations of product implication in MV-algebras with product. Zbl 1086.06009
Montagna, F.; Spada, L.
2
2005
An expansion of basic logic with fixed points. Zbl 1396.03050
Spada, Luca
1
2017
Logic, language, and computation. 8th international Tbilisi symposium on logic, language, and computation, TbiLLC 2009, Bakuriani, Georgia, September 21–25, 2009. Revised selected papers. Zbl 1218.03003
Bezhanishvili, Nick (ed.); Löbner, Sebastian (ed.); Schwabe, Kerstin (ed.); Spada, Luca (ed.)
1
2011
MV-algebras, infinite dimensional polyhedra, and natural dualities. Zbl 1367.06006
Cabrer, Leonardo M.; Spada, Luca
5
2017
Canonical formulas for \(k\)-potent commutative, integral, residuated lattices. Zbl 1420.03147
Bezhanishvili, Nick; Galatos, Nick; Spada, Luca
2
2017
An expansion of basic logic with fixed points. Zbl 1396.03050
Spada, Luca
1
2017
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras. Zbl 1275.03099
Marra, Vincenzo; Spada, Luca
12
2013
The dual adjunction between MV-algebras and Tychonoff spaces. Zbl 1252.06006
Marra, Vincenzo; Spada, Luca
14
2012
Advances in the theory of \(\mu \)Ł\(\Pi \) algebras. Zbl 1252.03146
Marchioni, Enrico; Spada, Luca
2
2011
Logic, language, and computation. 8th international Tbilisi symposium on logic, language, and computation, TbiLLC 2009, Bakuriani, Georgia, September 21–25, 2009. Revised selected papers. Zbl 1218.03003
Bezhanishvili, Nick (ed.); Löbner, Sebastian (ed.); Schwabe, Kerstin (ed.); Spada, Luca (ed.)
1
2011
Representation of MV-algebras by regular ultrapowers of \([0,1]\). Zbl 1196.06005
Di Nola, Antonio; Lenzi, Giacomo; Spada, Luca
4
2010
Ł\(\Pi\) logic with fixed points. Zbl 1179.03031
Spada, Luca
3
2008
\(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic. Zbl 1183.06006
Spada, Luca
2
2008
Forcing in Łukasiewicz predicate logic. Zbl 1170.03013
Di Nola, Antonio; Georgescu, George; Spada, Luca
2
2008
Continuous approximations of product implication in MV-algebras with product. Zbl 1086.06009
Montagna, F.; Spada, L.
2
2005

Citations by Year