LUCA SPADA | Pubblicazioni
LUCA SPADA Pubblicazioni
| 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 | |
| Visualizza sul Database dei Prodotti (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 | |
| Visualizza sul Database dei Prodotti (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 | |
| Visualizza sul Database dei Prodotti (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 | |
| Visualizza sul Database dei Prodotti (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 | |
| Visualizza sul Database dei Prodotti (IRIS) |
