Luca Spada

University of Salerno — Italy

Computer Science · Physical Sciences

5h-index119citations45works0.42yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Advanced Algebra and Logic(34), Logic, Reasoning, and Knowledge(22), Rough Sets and Fuzzy Logic(22), Logic, programming, and type systems(5), Advanced Topology and Set Theory(4)

Publications45 total

THE UNIFICATION TYPE OF ŁUKASIEWICZ LOGIC WITH A BOUNDED NUMBER OF VARIABLES
Journal of Symbolic Logic·2025Open Access
15 Anos do Programa de Educação Tutorial em Odontologia da UFPR: Uma Jornada de Excelência e Inovação
INTERFERENCE A JOURNAL OF AUDIO CULTURE·2025Open Access
The unification type of Lukasiewicz logic with a bounded number of variables
arXiv (Cornell University)·2025Open Access
Stone-Gelfand duality for metrically complete lattice-ordered groups
Advances in Mathematics·2024· 1 citedOpen Access
Relative ideals in homological categories with an application to MV-algebras
Theory and applications of categories·2024· 1 citedOpen Access
Baker-Beynon duality beyond semisimplicity
arXiv (Cornell University)·2023Open Access
Ideals in the Two-Sorted Variety of Equational States
Lecture notes in computer science·2023
Stone-Gelfand duality for metrically complete lattice-ordered groups
arXiv (Cornell University)·2022Open Access
Relative ideals in homological categories, with an application to MV-algebras
arXiv (Cornell University)·2022Open Access
Are locally finite MV-algebras a variety?
Journal of Pure and Applied Algebra·2021Open Access
Sheaf representations and locality of Riesz spaces with order unit
Journal of Logic and Analysis·2021· 3 citedOpen Access
General affine adjunctions, Nullstellensätze, and dualities
Journal of Pure and Applied Algebra·2020· 1 citedOpen Access
Join-completions of partially ordered algebras
Annals of Pure and Applied Logic·2020· 5 cited
Unification in Łukasiewicz Logic with a Finite Number of Variables
Communications in computer and information science·2020Open Access
L’adattamento dei processi aziendali nell’era del GDPR
2019
Indipendenza, assenza di conflitto di interessi e competenze specialistiche: il CV del DPO interno
2019
Cybersecurity Act e certificazioni ICT: luci e ombre della nuova disciplina in materia di cybersicurezza
2019
A general framework for geometric dualities for varieties of algebras
EPiC series in computing·2018Open Access
Join-completions of ordered algebras
arXiv (Cornell University)·2017· 2 citedOpen Access
Canonical formulas for k-potent commutative, integral, residuated lattices
Algebra Universalis·2017· 2 cited
page 1 of 3Next →

Frequent Co-authors

Vincenzo Marra(6), Marco Abbadini(6), Antonio Di Nola(4), Nick Bezhanishvili(4), Serafina Lapenta(4), Chiara Giannella(3), Giacomo Lenzi(2), José Gil‐Férez(2), Constantine Tsinakis(2), Hongjun Zhou(2), Nikolaos Galatos(2), Enrico Marchioni(2), Sebastian Löbner(2), Kerstin Schwabe(2), Giuseppe Metere(2), Leonardo Manuel Cabrer(1), Revaz Grigolia(1), F. Montagna(1), George Georgescu(1), Olivia Caramello(1)