LUCA SPADA | Publications
LUCA SPADA Publications
| 2024 | |
| Articolo in rivista | |
| RELATIVE IDEALS IN HOMOLOGICAL CATEGORIES WITH AN APPLICATION TO MV-ALGEBRAS THEORY AND APPLICATIONS OF CATEGORIES. Vol. 41. Pag.878-893 ISSN:1201-561X. | |
| Lapenta, S.; Metere, G.; Spada, L. | |
| Versione online | |
| Codice identificativo ISI: WOS:001281442700001 Codice identificativo SCOPUS: 2-s2.0-85202049362 | |
| Show it in Product Database (IRIS) |
| 2023 | |
| Contributo in Atti di convegno | |
| Ideals in the Two-Sorted Variety of Equational States. In: Fuzzy Logic and Technology, and Aggregation Operators Springer Vol.14069 LNCS, Pag.495-504 ISBN:978-3-031-39964-0; 978-3-031-39965-7 | |
| EUSFLAT Palma de Mallorca, Spain 04-08 Settembre 2023 | |
| Lapenta, S.; Napolitano, S.; Spada, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1007/978-3-031-39965-7_41 Codice identificativo SCOPUS: 2-s2.0-85172243470 | |
| Show it in Product Database (IRIS) |
| 2023 | |
| Contributo in Atti di convegno | |
| The Logic FP(Ł, Ł) and Two-Sorted Equational States. In: Proceedings of the 13th International Symposium on Imprecise Probabilities: Theories and Applications - ISIPTA 2023Vol.215, Pag.280-287 | |
| International Symposium on Imprecise Probabilities: Theories and Applications - ISIPTA Oviedo (Spain) 11-14 July 2023 | |
| Lapenta, Serafina; Napolitano, Sebastiano; Spada, Luca | |
| Versione online | |
| Codice identificativo ISI: WOS:001222674200026 Codice identificativo SCOPUS: 2-s2.0-85172863450 | |
| Show it in Product Database (IRIS) |
| 2021 | |
| Articolo in rivista | |
| Are locally finite MV-algebras a variety? JOURNAL OF PURE AND APPLIED ALGEBRA. Vol. 226. Pag.1-28 ISSN:0022-4049. | |
| Abbadini, M.; Spada, L. | |
| Digital Object Identifier (DOI): 10.1016/j.jpaa.2021.106858 Codice identificativo ISI: WOS:000703984500012 Codice identificativo SCOPUS: 2-s2.0-85111971881 | |
| Show it in Product Database (IRIS) |
| 2021 | |
| Articolo in rivista | |
| Sheaf representations and locality of Riesz spaces with order unit. JOURNAL OF LOGIC AND ANALYSIS. Vol. 13. Pag.1-35 ISSN:1759-9008. | |
| Di Nola, A.; Lenzi, G.; Spada, L. | |
| Digital Object Identifier (DOI): 10.4115/jla.2021.13.2 Codice identificativo ISI: WOS:000652194200002 Codice identificativo SCOPUS: 2-s2.0-85107626318 | |
| Show it in Product Database (IRIS) |
| 2020 | |
| Articolo in rivista | |
| General affine adjunctions, Nullstellensätze, and dualities JOURNAL OF PURE AND APPLIED ALGEBRA. Vol. 225. Pag.1-34 ISSN:0022-4049. | |
| Olivia, Caramello; Vincenzo, Marra; Spada, Luca | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.jpaa.2020.106470 Codice identificativo ISI: WOS:000555694500013 Codice identificativo SCOPUS: 2-s2.0-85086840533 | |
| Show it in Product Database (IRIS) |
| 2020 | |
| Articolo in rivista | |
| Join-completions of partially ordered algebras ANNALS OF PURE AND APPLIED LOGIC. Vol. 171. Pag.1-43 ISSN:0168-0072. | |
| Gil-Férez, José; Spada, Luca; Tsinakis, Constantine; Zhou, Hongjun | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.apal.2020.102842 Codice identificativo ISI: WOS:000568991900005 Codice identificativo SCOPUS: 2-s2.0-85085771956 | |
| Show it in Product Database (IRIS) |
| 2020 | |
| Contributo in Atti di convegno | |
| Unification in L ukasiewicz Logic with a Finite Number of Variables. In: 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings Springer Vol.1239, Pag.622-633 ISBN:978-3-030-50153-2 | |
| Information Processing and Management of Uncertainty in Knowledge-Based Systems Lisbona June 15–19, 2020, | |
| Abbadini, Marco; DI STEFANO, Federica; Spada, Luca | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1007/978-3-030-50153-2_46 Codice identificativo SCOPUS: 2-s2.0-85086231827 | |
| Show it in Product Database (IRIS) |
| 2017 | |
| Articolo in rivista | |
| An expansion of Basic Logic with fixed points SOFT COMPUTING. Pag.1-9 ISSN:1432-7643. | |
| Spada, Luca | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1007/s00500-016-2344-2 Codice identificativo ISI: WOS:000392065600005 Codice identificativo SCOPUS: 2-s2.0-84988646697 | |
| Show it in Product Database (IRIS) |
| 2017 | |
| Articolo in rivista | |
| Canonical formulas for k-potent commutative, integral, residuated lattices ALGEBRA UNIVERSALIS. Vol. 77. Pag.321-343 ISSN:0002-5240. | |
| Bezhanishvili, Nick; Galatos, Nick; Spada, Luca | |
| Digital Object Identifier (DOI): 10.1007/s00012-017-0430-7 Codice identificativo ISI: WOS:000401803700004 Codice identificativo SCOPUS: 2-s2.0-85011309187 | |
| Show it in Product Database (IRIS) |
| 2017 | |
| Articolo in rivista | |
| MV-algebras, infinite dimensional polyhedra, and natural dualities ARCHIVE FOR MATHEMATICAL LOGIC. Vol. 56. Pag.21-42 ISSN:0933-5846. | |
| Cabrer, Leonardo M.; Spada, Luca | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1007/s00153-016-0512-9 Codice identificativo ISI: WOS:000392295400002 Codice identificativo SCOPUS: 2-s2.0-84991079569 | |
| Show it in Product Database (IRIS) |
97631Logiche Polivalenti
| 2015 | |
| Contributo in volume (Capitolo o Saggio) | |
| Logiche Polivalenti. In Le direzioni della ricerca logica in Italia Pag.100-120 Pisa Scuola Normale Superiore. ISBN:978-88-7642-570-7 | |
| Marra, Vincenzo; Montagna, Franco; Spada, Luca | |
| Show it in Product Database (IRIS) |
| 2013 | |
| Articolo in rivista | |
| Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras ANNALS OF PURE AND APPLIED LOGIC. Vol. 164. Pag.192-210 ISSN:0168-0072. | |
| Vincenzo, Marra; Spada, Luca | |
| Digital Object Identifier (DOI): 10.1016/j.apal.2012.10.001 Codice identificativo ISI: WOS:000314432700002 Codice identificativo SCOPUS: 2-s2.0-84871102624 | |
| Show it in Product Database (IRIS) |
| 2013 | |
| Articolo in rivista | |
| Geometrical dualities for Łukasiewicz logic BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA. Vol. VI (9). Pag.749-763 ISSN:1972-6724. | |
| Spada, Luca | |
| Codice identificativo SCOPUS: 2-s2.0-84896935322 | |
| Show it in Product Database (IRIS) |
| 2012 | |
| Articolo in rivista | |
| The Dual Adjunction between MV-algebras and Tychonoff Spaces STUDIA LOGICA. Vol. 100. Pag.253-278 ISSN:0039-3215. | |
| Vincenzo, Marra; Spada, Luca | |
| Digital Object Identifier (DOI): 10.1007/s11225-012-9377-z Codice identificativo ISI: WOS:000309055300012 Codice identificativo SCOPUS: 2-s2.0-84861344285 | |
| Show it in Product Database (IRIS) |
| 2011 | |
| Articolo in rivista | |
| Representation of Perfect and Local MV-algebras MATHEMATICA SLOVACA. Vol. 61/3. Pag.327-340 ISSN:0139-9918. | |
| Brunella, Gerla; Russo, Ciro; Spada, Luca | |
| Versione online | |
| Digital Object Identifier (DOI): 10.2478/s12175-011-0015-4 Codice identificativo ISI: WOS:000292450100003 Codice identificativo SCOPUS: 2-s2.0-79956029323 | |
| Show it in Product Database (IRIS) |
| 2010 | |
| Articolo in rivista | |
| Representation of MV algebras by regular ultrapowers of [0,1] ARCHIVE FOR MATHEMATICAL LOGIC. Vol. 49/4. Pag.491-500 ISSN:0933-5846. | |
| DI NOLA, Antonio; Lenzi, Giacomo; Spada, Luca | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1007/s00153-010-0182-y Codice identificativo ISI: WOS:000277246000004 Codice identificativo SCOPUS: 2-s2.0-84893678204 | |
| Show it in Product Database (IRIS) |
| 2010 | |
| Articolo in rivista | |
| Advances in the theory of LP algebras LOGIC JOURNAL OF THE IGPL. Vol. 19. Pag.476-489 ISSN:1367-0751. | |
| E., Marchioni; Spada, Luca | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1093/jigpal/jzp089 Codice identificativo ISI: WOS:000290586100005 Codice identificativo SCOPUS: 2-s2.0-79956013193 | |
| Show it in Product Database (IRIS) |
| 2010 | |
| Articolo in rivista | |
| A discrete representation of free MV-algebras MATHEMATICAL LOGIC QUARTERLY. Vol. 56. Pag.279-288 ISSN:0942-5616. | |
| DI NOLA, Antonio; Grigolia, R; Spada, Luca | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1002/malq.200910036 | |
| Show it in Product Database (IRIS) |
| 2009 | |
| Contributo in Atti di convegno | |
| Some consequences of compactness in Lukasiewicz logic. In: Proceedings of the 7th Panhellenic Symposium of Logic Patras University press Pag.162-167 ISBN:9789605301088 | |
2009 | |
| Spada, Luca | |
| Show it in Product Database (IRIS) |
| 2008 | |
| Articolo in rivista | |
| Forcing in Łukasiewicz predicate logic STUDIA LOGICA. Vol. 89. Pag.111-145 ISSN:0039-3215. | |
| DI NOLA, Antonio; Georgescu, G; Spada, Luca | |
| Digital Object Identifier (DOI): 10.1007/s11225-008-9120-y Codice identificativo SCOPUS: 2-s2.0-46349101652 | |
| Show it in Product Database (IRIS) |
| 2008 | |
| Articolo in rivista | |
| muMV algebras : an approach to fixed points in Lukasiewicz logic FUZZY SETS AND SYSTEMS. Vol. 159/10. Pag.1260-1267 ISSN:0165-0114. | |
| Spada, Luca | |
| Digital Object Identifier (DOI): 10.1016/j.fss.2007.12.010 Codice identificativo ISI: WOS:000255470500010 Codice identificativo SCOPUS: 2-s2.0-41049107268 | |
| Show it in Product Database (IRIS) |
| 2008 | |
| Articolo in rivista | |
| LP logic with fixed points ARCHIVE FOR MATHEMATICAL LOGIC. Vol. 47(7-8). Pag.741-763 ISSN:0933-5846. | |
| Spada, Luca | |
| Digital Object Identifier (DOI): 10.1007/s00153-008-0105-3 Codice identificativo ISI: WOS:000260423700006 Codice identificativo SCOPUS: 2-s2.0-54249133807 | |
| Show it in Product Database (IRIS) |
| 2008 | |
| Contributo in volume (Capitolo o Saggio) | |
| A short introduction to formal fuzzy logic via t-norms. In LUIGI D'AMBRA; PIETRO ROSTIROLLA; MASSIMO SQUILLANTE Metodi, Modelli eTecnologie dell' informazione a Supporto delle Decisioni Pag.194-202 MILANO Franco Angeli. ISBN:9788846483812 | |
| Spada, Luca; DI NOLA, Antonio | |
| Show it in Product Database (IRIS) |
| 2007 | |
| Articolo in rivista | |
| Punti fissi nelle logiche a più valori BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. A. Vol. Vol X. Pag.355-358 ISSN:0392-4033. | |
| Spada, Luca | |
| Codice identificativo SCOPUS: 2-s2.0-35348850685 | |
| Show it in Product Database (IRIS) |
| 2005 | |
| Articolo in rivista | |
| Continuous Approximations of Product Implication in MV-Algebras with Product SOFT COMPUTING. Vol. 9. Pag.149-154 ISSN:1432-7643. | |
| Spada, Luca; Motagna, F. | |
| Codice identificativo ISI: WOS:000227460700001 Codice identificativo SCOPUS: 2-s2.0-13844299253 | |
| Show it in Product Database (IRIS) |
| 2004 | |
| Contributo in Atti di convegno | |
| Continuous Approximations of MV-Algebra with Product and Product Residuation: A Cathegory-Theoretic Equivalence. In: Collegium Logicum Vienna K. G\"odel Society Vol.8, Pag.103-110 ISBN:9783901546037 | |
| CSL 2003 3-901546-03-0enna 2004 | |
| Spada, Luca | |
| Show it in Product Database (IRIS) |
