Luca Spada
Luca Spada
Associate Professor of Mathematical Logic, Department of Mathematics, University of Salerno
Verified email at unisa.it - Homepage
TitleCited byYear
The dual adjunction between MV-algebras and Tychonoff spaces
V Marra, L Spada
Studia Logica 100 (1-2), 253-278, 2012
342012
Duality, projectivity, and unification in Lukasiewicz logic and MV-algebras
V Marra, L Spada
Annals of Pure and Applied Logic 164 (3), 192–210, 2013
262013
Spectral and T0-Spaces in d-Semantics
G Bezhanishvili, L Esakia, D Gabelaia
International Tbilisi Symposium on Logic, Language, and Computation, 16-29, 2009
172009
Representation of MV-algebras by regular ultrapowers of [0, 1]
A Di Nola, G Lenzi, L Spada
Archive for Mathematical Logic 49 (4), 491-500, 2010
92010
ŁΠ logic with fixed points
L Spada
Archive for Mathematical Logic 47 (7), 741-763, 2008
82008
Continuous approximations of product implication in MV-algebras with product
F Montagna, L Spada
Soft Computing-A Fusion of Foundations, Methodologies and Applications 9 (3 …, 2005
6*2005
μMV-algebras: An approach to fixed points in Łukasiewicz logic
L Spada
Fuzzy Sets and Systems 159 (10), 1260-1267, 2008
52008
Forcing in Łukasiewicz predicate logic
A Di Nola, G Georgescu, L Spada
Studia Logica 89 (1), 111-145, 2008
42008
MV-algebras, infinite dimensional polyhedra, and natural dualities
LM Cabrer, L Spada
Archive for Mathematical Logic 56 (1-2), 21-42, 2017
32017
Canonical formulas for k-potent commutative, integral, residuated lattices
N Bezhanishvili, N Galatos, L Spada
Algebra universalis 77 (3), 321-343, 2017
22017
Advances in the theory of μŁΠ algebras
E Marchioni, L Spada
Logic Journal of IGPL 19 (3), 476-489, 2011
22011
General affine adjunctions, Nullstellens\" atze, and dualities
O Caramello, V Marra, L Spada
arXiv preprint arXiv:1412.8692, 2014
12014
Two isomorphism criteria for directed colimits
V Marra, L Spada
arXiv preprint arXiv:1312.0432, 2013
12013
Representation of perfect and local MV-algebras
B Gerla, C Russo, L Spada
Mathematica Slovaca 61 (3), 327-340, 2011
12011
A discrete representation of free MV‐algebras
A Di Nola, R Grigolia, L Spada
Mathematical Logic Quarterly 56 (3), 279-288, 2010
12010
Norm complete abelian l-groups: topological duality
M Abbadini, V Marra, L Spada
TACL 2019, 17, 2019
2019
Norm complete Abelian l-groups: equational axiomatization
M Abbadini, V Marra, L Spada
TACL 2019, 19, 2019
2019
Join-completions of ordered algebras
J Gil-Férez, L Spada, C Tsinakis, H Zhou
arXiv preprint arXiv:1708.04990, 2017
2017
An expansion of Basic Logic with fixed points
L Spada
Soft Computing 21 (1), 29-37, 2017
2017
VII CONFERENCE AND II SCHOOL ON TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC (TACL), 2015: Fisciano (School) and Ischia (Conference), Italy June 15-19, 2015 (School) and June 21 …
L Spada
The Bulletin of Symbolic Logic, 444-445, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20