Continuous approximations of product implication in MV-algebras with product. - Franco Montagna; Luca Spada (Soft Comput., 2005)

LPi logic with fixed points. - Luca Spada (Arch. Math. Log., 2008)

muMV-algebras: An approach to fixed points in Lukasiewicz logic. - Luca Spada (Fuzzy Sets Syst., 2008)

Forcing in Lukasiewicz Predicate Logic. - Antonio Di Nola; George Georgescu; Luca Spada (Stud Logica, 2008)

Representation of MV-algebras by regular ultrapowers of [0, 1]. - Antonio Di Nola; Giacomo Lenzi; Luca Spada (Arch. Math. Log., 2010)

A discrete representation of free MV-algebras. - Antonio Di Nola; Revaz Grigolia; Luca Spada (Math. Log. Q., 2010)

Advances in the theory of μŁΠ algebras. - Enrico Marchioni; Luca Spada (Log. J. IGPL, 2011)

The Dual Adjunction between MV-algebras and Tychonoff Spaces. - Vincenzo Marra; Luca Spada (Stud Logica, 2012)

A general framework for geometric dualities for varieties of algebras. - Luca Spada (TACL, 2013)

Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras. - Vincenzo Marra; Luca Spada (Ann. Pure Appl. Log., 2013)

MV-algebras, infinite dimensional polyhedra, and natural dualities. - Leonardo Manuel Cabrer; Luca Spada (Arch. Math. Log., 2017)

An expansion of Basic Logic with fixed points. - Luca Spada (Soft Comput., 2017)

Unification in Łukasiewicz Logic with a Finite Number of Variables. - Marco Abbadini; Federica Di Stefano 001; Luca Spada (IPMU (3), 2020)

Join-completions of partially ordered algebras. - José Gil-Férez; Luca Spada; Constantine Tsinakis; Hongjun Zhou (Ann. Pure Appl. Log., 2020)

Sheaf representations and locality of Riesz spaces with order unit. - Antonio Di Nola; Giacomo Lenzi; Luca Spada (J. Log. Anal., 2021)

Ideals in the Two-Sorted Variety of Equational States. - Serafina Lapenta; Sebastiano Napolitano; Luca Spada (EUSFLAT/AGOP, 2023)

The logic {FP}({Ł. - Serafina Lapenta; Sebastiano Napolitano; Luca Spada (ISIPTA, 2023)