Personal information

Mathematical Logic, MV-algebras, Lukasiewicz logic, Many-valued logics
Italy

Activities

Employment (7)

Università degli Studi di Salerno: Fisciano (SA), IT

2016-05-15 to present | Associate Professor (Dipartimento di Matematica)
Employment
Source: Self-asserted source
Luca Spada

Università degli Studi di Salerno: Salerno, IT

2012-02-28 to 2016-05-14 | Assistant Professor (Dipartimento di Matematica)
Employment
Source: Self-asserted source
Luca Spada

UNIVERSITA' DEGLI STUDI DI SALERNO: Fisciano, Campania, IT

2012-03-01 to 2012-12-31 | Ricercatori (DIPARTIMENTO DI MATEMATICA (attivo dal 01/01/2011 al 31/12/2012))
Employment
Source: check_circle
Università degli studi di Salerno - IRIS

UNIVERSITA' DEGLI STUDI DI SALERNO: Fisciano, Campania, IT

2011-01-01 to 2012-03-01 | Assegnisti (DIPARTIMENTO DI MATEMATICA (attivo dal 01/01/2011 al 31/12/2012))
Employment
Source: check_circle
Università degli studi di Salerno - IRIS

UNIVERSITA' DEGLI STUDI DI SALERNO: Fisciano, Campania, IT

2011-01-01 to 2012-02-29 | Assegnisti (EX-DIPARTIMENTO DI MATEMATICA-(2011/2012))
Employment
Source: check_circle
Università degli studi di Salerno - IRIS

UNIVERSITA' DEGLI STUDI DI SALERNO: Fisciano, Campania, IT

2009-04-23 to 2010-12-31 | Assegnisti (EX-DIP.DI MATEMATICA E INFORMATICA-(1998/2010))
Employment
Source: check_circle
Università degli studi di Salerno - IRIS

UNIVERSITA' DEGLI STUDI DI SALERNO: Fisciano, Campania, IT

2009-04-23 to 2010-12-31 | Assegnisti (DIP.DI MATEMATICA E INFORMATICA (attivo dal 15/06/1998 al 31/12/2010))
Employment
Source: check_circle
Università degli studi di Salerno - IRIS

Education and qualifications (1)

Università degli Studi di Siena: Siena, Toscana, IT

2002-10-01 to 2007-06-29 | PhD
Education
Source: Self-asserted source
Luca Spada

Funding (5)

Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics

2016-03 to 2019-02 | Grant
European Commission (Brussels, European Union, BE)
GRANT_NUMBER: 689176
Source: Self-asserted source
Luca Spada

A Dual Approach to Many-valued Semantics

2013-08 to 2015-07 | Award
European Commission (Brussels, European Union, BE)
GRANT_NUMBER:

299071

Source: Self-asserted source
Luca Spada

Logical tools for the management of Information.

2012-01 to 2016-01 | Grant
Ministero dell’Istruzione, dell’Università e della Ricerca (Roma, IT)
GRANT_NUMBER:

2010FP79LR

Source: Self-asserted source
Luca Spada

Mathematical Tools for the Management of Uncertain and Vague Information

2011-03 to 2015-03 | Grant
European Commission (Brussels, EU, BE)
GRANT_NUMBER: 247584
Source: Self-asserted source
Luca Spada

Algebraic semantics for the uncertainty

2010-03 to 2012-09 | Grant
Ministero dell’Istruzione, dell’Università e della Ricerca (Roma, IT)
GRANT_NUMBER:

2008JKBJJF

Source: Self-asserted source
Luca Spada
grade
Preferred source (of 2)‎

Works (34)

RELATIVE IDEALS IN HOMOLOGICAL CATEGORIES WITH AN APPLICATION TO MV-ALGEBRAS

2024-01-01 | Journal article
EID:

2-s2.0-85202049362

WOSUID:

WOS:001281442700001

Source: check_circle
Università degli studi di Salerno - IRIS

Stone-Gelfand duality for metrically complete lattice-ordered groups

2024-01-01 | Journal article
EID:

2-s2.0-85211016320

WOSUID:

WOS:001374962500001

Source: check_circle
Università degli studi di Salerno - IRIS

Ideals in the Two-Sorted Variety of Equational States

2023-01-01 | Conference paper
EID:

2-s2.0-85172243470

Source: check_circle
Università degli studi di Salerno - IRIS

The Logic FP(Ł, Ł) and Two-Sorted Equational States

2023-01-01 | Conference paper
EID:

2-s2.0-85172863450

WOSUID:

WOS:001222674200026

Source: check_circle
Università degli studi di Salerno - IRIS

Are locally finite MV-algebras a variety?

2022-01-01 | Journal article
EID:

2-s2.0-85111971881

WOSUID:

WOS:000703984500012

Source: check_circle
Università degli studi di Salerno - IRIS

General affine adjunctions, Nullstellensätze, and dualities

2021-01-01 | Journal article
EID:

2-s2.0-85086840533

WOSUID:

WOS:000555694500013

Source: check_circle
Università degli studi di Salerno - IRIS

Sheaf representations and locality of Riesz spaces with order unit.

2021-01-01 | Journal article
EID:

2-s2.0-85107626318

WOSUID:

WOS:000652194200002

Source: check_circle
Università degli studi di Salerno - IRIS

Unification in Łukasiewicz Logic with a Finite Number of Variables

2020 | Book chapter
Contributors: Marco Abbadini; Federica Di Stefano; Luca Spada
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Join-completions of partially ordered algebras

2020-01-01 | Journal article
EID:

2-s2.0-85085771956

WOSUID:

WOS:000568991900005

Source: check_circle
Università degli studi di Salerno - IRIS

MV-algebras, infinite dimensional polyhedra, and natural dualities

Archive for Mathematical Logic
2017-02-13 | Journal article
Contributors: Leonardo M. Cabrer; Luca Spada
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

An expansion of Basic Logic with fixed points

2017-01-01 | Journal article
EID:

2-s2.0-84988646697

WOSUID:

WOS:000392065600005

Source: check_circle
Università degli studi di Salerno - IRIS

Canonical formulas for k-potent commutative, integral, residuated lattices

2017-01-01 | Journal article
EID:

2-s2.0-85011309187

WOSUID:

WOS:000401803700004

Source: check_circle
Università degli studi di Salerno - IRIS

VII Conference and II School on topology, Algebra, and categories in logic (TACL), 2015 Co-Sponsored by the association for symbolic logic fisciano (School) and Ischia (Conference), Italy June 15-19, 2015 (School) and June 21-26, 2015 (Conference)

Bulletin of Symbolic Logic
2016 | Journal article
EID:

2-s2.0-84954560508

Contributors: Spada, L.
Source: Self-asserted source
Luca Spada via Scopus - Elsevier

Canonical formulas for k-potent commutative, integral, residuated lattices

ArXiv
2015-09-26 | Report
Source: Self-asserted source
Luca Spada

Editorial. Many-Valued Logic '12: In honour of Antonio Di Nola's 65th birthday

2015-01-01 | Other
EID:

2-s2.0-84945257163

WOSUID:

WOS:000365543500001

Source: check_circle
Università degli studi di Salerno - IRIS
grade
Preferred source (of 2)‎

Logiche Polivalenti

2015-01-01 | Book chapter
Source: check_circle
Università degli studi di Salerno - IRIS

General affine adjunctions, Nullstellensätze, and dualities

2014-12-30 | Report
Source: Self-asserted source
Luca Spada

Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras

Annals of Pure and Applied Logic
2013 | Journal article
EID:

2-s2.0-84871102624

Contributors: Marra, V.; Spada, L.
Source: Self-asserted source
Luca Spada via Scopus - Elsevier
grade
Preferred source (of 2)‎

Geometrical dualities for Łukasiewicz logic

Bolletino dell Unione Matematica Italiana
2013 | Journal article
EID:

2-s2.0-84896935322

Contributors: Spada, L.
Source: Self-asserted source
Luca Spada via Scopus - Elsevier
grade
Preferred source (of 2)‎

Two isomorphism criteria for directed colimits

2013-12-02 | Report
Source: Self-asserted source
Luca Spada

The Dual Adjunction between MV-algebras and Tychonoff Spaces

Studia Logica
2012 | Journal article
EID:

2-s2.0-84861344285

Contributors: Marra, V.; Spada, L.
Source: Self-asserted source
Luca Spada via Scopus - Elsevier
grade
Preferred source (of 2)‎

Advances in the theory of μŁΠ algebras

Logic Journal of the IGPL
2011 | Journal article
EID:

2-s2.0-79956013193

Contributors: Marchioni, E.; Spada, L.
Source: Self-asserted source
Luca Spada via Scopus - Elsevier
grade
Preferred source (of 3)‎

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
EID:

2-s2.0-79960753743

Contributors: Bezhanishvili, N.; Löbner, S.; Schwabe, K.; Spada, L.
Source: Self-asserted source
Luca Spada via Scopus - Elsevier

Representation of perfect and local MV-algebras

Mathematica Slovaca
2011 | Journal article
EID:

2-s2.0-79956029323

Contributors: Gerla, B.; Russo, C.; Spada, L.
Source: Self-asserted source
Luca Spada via Scopus - Elsevier
grade
Preferred source (of 3)‎

A discrete representation of free MV-algebras

Mathematical Logic Quarterly
2010 | Journal article
EID:

2-s2.0-77954576292

Contributors: Di Nola, A.; Grigolia, R.; Spada, L.
Source: Self-asserted source
Luca Spada via Scopus - Elsevier
grade
Preferred source (of 2)‎

Representation of MV-algebras by regular ultrapowers of [0, 1]

Archive for Mathematical Logic
2010 | Journal article
EID:

2-s2.0-84893678204

Contributors: Di Nola, A.; Lenzi, G.; Spada, L.
Source: Self-asserted source
Luca Spada via Scopus - Elsevier
grade
Preferred source (of 3)‎

Some consequences of compactness in Lukasiewicz logic

2009-01-01 | Conference paper
Source: check_circle
Università degli studi di Salerno - IRIS

Forcing in Łukasiewicz predicate logic

Studia Logica
2008 | Journal article
EID:

2-s2.0-46349101652

Contributors: Di Nola, A.; Georgescu, G.; Spada, L.
Source: Self-asserted source
Luca Spada via Scopus - Elsevier
grade
Preferred source (of 2)‎

ŁΠ logic with fixed points

Archive for Mathematical Logic
2008 | Journal article
EID:

2-s2.0-54249133807

Contributors: Spada, L.
Source: Self-asserted source
Luca Spada via Scopus - Elsevier
grade
Preferred source (of 3)‎

μ MV-algebras: An approach to fixed points in Łukasiewicz logic

Fuzzy Sets and Systems
2008 | Journal article
EID:

2-s2.0-41049107268

Contributors: Spada, L.
Source: Self-asserted source
Luca Spada via Scopus - Elsevier
grade
Preferred source (of 3)‎

A short introduction to formal fuzzy logic via t-norms

2008-01-01 | Book chapter
Source: check_circle
Università degli studi di Salerno - IRIS

Punti fissi nelle logiche a più valori

Bollettino della Unione Matematica Italiana A
2007 | Journal article
EID:

2-s2.0-35348850685

Contributors: Spada, L.
Source: Self-asserted source
Luca Spada via Scopus - Elsevier
grade
Preferred source (of 2)‎

Continuous approximations of product implication in MV-algebras with product

Soft Computing
2005 | Journal article
EID:

2-s2.0-13844299253

Contributors: Montagna, F.; Spada, L.
Source: Self-asserted source
Luca Spada via Scopus - Elsevier
grade
Preferred source (of 3)‎

Continuous Approximations of MV-Algebra with Product and Product Residuation: A Cathegory-Theoretic Equivalence

2004-01-01 | Conference paper
Source: check_circle
Università degli studi di Salerno - IRIS

Peer review (1 review for 1 publication/grant)

Review activity for Studia logica. (1)