SPADA, LUCA
SPADA, LUCA
Dipartimento di Matematica/DIPMAT
A discrete representation of free MV-algebras
2010-01-01 DI NOLA, Antonio; Grigolia, R; Spada, Luca
A short introduction to formal fuzzy logic via t-norms
2008-01-01 Spada, Luca; DI NOLA, Antonio
Advances in the theory of LP algebras
2010-01-01 E., Marchioni; Spada, Luca
An expansion of Basic Logic with fixed points
2017-01-01 Spada, Luca
Are locally finite MV-algebras a variety?
2021-01-01 Abbadini, M.; Spada, L.
Canonical formulas for k-potent commutative, integral, residuated lattices
2017-01-01 Bezhanishvili, Nick; Galatos, Nick; Spada, Luca
Continuous Approximations of MV-Algebra with Product and Product Residuation: A Cathegory-Theoretic Equivalence
2004-01-01 Spada, Luca
Continuous Approximations of Product Implication in MV-Algebras with Product
2005-01-01 Spada, Luca; Motagna, F.
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
2013-01-01 Vincenzo, Marra; Spada, Luca
Forcing in Łukasiewicz predicate logic
2008-01-01 DI NOLA, Antonio; Georgescu, G; Spada, Luca
General affine adjunctions, Nullstellensätze, and dualities
2020-01-01 Olivia, Caramello; Vincenzo, Marra; Spada, Luca
Geometrical dualities for Łukasiewicz logic
2013-01-01 Spada, Luca
Ideals in the Two-Sorted Variety of Equational States
2023-01-01 Lapenta, S.; Napolitano, S.; Spada, L.
Join-completions of partially ordered algebras
2020-01-01 Gil-Férez, José; Spada, Luca; Tsinakis, Constantine; Zhou, Hongjun
Logiche Polivalenti
2015-01-01 Marra, Vincenzo; Montagna, Franco; Spada, Luca
LP logic with fixed points
2008-01-01 Spada, Luca
muMV algebras : an approach to fixed points in Lukasiewicz logic
2008-01-01 Spada, Luca
MV-algebras, infinite dimensional polyhedra, and natural dualities
2017-01-01 Cabrer, Leonardo M.; Spada, Luca
Punti fissi nelle logiche a più valori
2007-01-01 Spada, Luca
Representation of MV algebras by regular ultrapowers of [0,1]
2010-01-01 DI NOLA, Antonio; Lenzi, Giacomo; Spada, Luca