Luca Spada

18 papers Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2023 — conf
Ideals in the Two-Sorted Variety of Equational States.
EUSFLAT/AGOP
Serafina Lapenta, Sebastiano Napolitano, Luca Spada
2023 — conf
The logic {FP}({Ł.
ISIPTA
Serafina Lapenta, Sebastiano Napolitano, Luca Spada
2021 J jnl
Sheaf representations and locality of Riesz spaces with order unit.
J. Log. Anal.
Antonio Di Nola, Giacomo Lenzi, Luca Spada
2020 J jnl
Join-completions of partially ordered algebras.
Ann. Pure Appl. Log.
José Gil-Férez, Luca Spada, Constantine Tsinakis, Hongjun Zhou
2020 — conf
Unification in Łukasiewicz Logic with a Finite Number of Variables.
IPMU (3)
Marco Abbadini, Federica Di Stefano, Luca Spada
2017 J jnl
An expansion of Basic Logic with fixed points.
Soft Comput.
Luca Spada
2017 J jnl
MV-algebras, infinite dimensional polyhedra, and natural dualities.
Arch. Math. Log.
Leonardo Manuel Cabrer, Luca Spada
2013 — conf
A general framework for geometric dualities for varieties of algebras.
TACL
Luca Spada
2013 J jnl
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.
Ann. Pure Appl. Log.
Vincenzo Marra, Luca Spada
2012 J jnl
The Dual Adjunction between MV-algebras and Tychonoff Spaces.
Stud Logica
Vincenzo Marra, Luca Spada
2011 J jnl
Advances in the theory of
Log. J. IGPL
Enrico Marchioni, Luca Spada
2011 — ed.
Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
TbiLLC
Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada
2010 J jnl
A discrete representation of free MV-algebras.
Math. Log. Q.
Antonio Di Nola, Revaz Grigolia, Luca Spada
2010 J jnl
Representation of MV-algebras by regular ultrapowers of [0, 1].
Arch. Math. Log.
Antonio Di Nola, Giacomo Lenzi, Luca Spada
2008 J jnl
Forcing in Lukasiewicz Predicate Logic.
Stud Logica
Antonio Di Nola, George Georgescu, Luca Spada
2008 J jnl
LPi logic with fixed points.
Arch. Math. Log.
Luca Spada
2008 J jnl
muMV-algebras: An approach to fixed points in Lukasiewicz logic.
Fuzzy Sets Syst.
Luca Spada
2005 J jnl
Continuous approximations of product implication in MV-algebras with product.
Soft Comput.
Franco Montagna, Luca Spada