SPADA, Luca

SPADA, Luca  

Dipartimento di Matematica/DIPMAT  

Mostra records
Risultati 1 - 20 di 24 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
A discrete representation of free MV-algebras 1-gen-2010 DI NOLA, Antonio; Grigolia, R; Spada, Luca
A short introduction to formal fuzzy logic via t-norms 1-gen-2008 Spada, Luca; DI NOLA, Antonio
Advances in the theory of  LP  algebras 1-gen-2010 E., Marchioni; Spada, Luca
Are locally finite MV-algebras a variety? 1-gen-2021 Abbadini, M.; Spada, L.
Canonical formulas for k-potent commutative, integral, residuated lattices 1-gen-2017 Bezhanishvili, Nick; Galatos, Nick; Spada, Luca
Continuous Approximations of MV-Algebra with Product and Product Residuation: A Cathegory-Theoretic Equivalence 1-gen-2004 Spada, Luca
Continuous Approximations of Product Implication in MV-Algebras with Product 1-gen-2005 Spada, Luca; Motagna, F.
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras 1-gen-2013 Vincenzo, Marra; Spada, Luca
An expansion of Basic Logic with fixed points 1-gen-2017 Spada, Luca
Forcing in Łukasiewicz predicate logic 1-gen-2008 DI NOLA, Antonio; Georgescu, G; Spada, Luca
General affine adjunctions, Nullstellensätze, and dualities 1-gen-2020 Olivia, Caramello; Vincenzo, Marra; Spada, Luca
Geometrical dualities for Łukasiewicz logic 1-gen-2013 Spada, Luca
Join-completions of partially ordered algebras 1-gen-2020 Gil-Férez, José; Spada, Luca; Tsinakis, Constantine; Zhou, Hongjun
Logiche Polivalenti 1-gen-2015 Marra, Vincenzo; Montagna, Franco; Spada, Luca
LP logic with fixed points 1-gen-2008 Spada, Luca
muMV algebras : an approach to fixed points in Lukasiewicz logic 1-gen-2008 Spada, Luca
MV-algebras, infinite dimensional polyhedra, and natural dualities 1-gen-2017 Cabrer, Leonardo M.; Spada, Luca
Punti fissi nelle logiche a più valori 1-gen-2007 Spada, Luca
Representation of MV algebras by regular ultrapowers of [0,1] 1-gen-2010 DI NOLA, Antonio; Lenzi, Giacomo; Spada, Luca
Representation of Perfect and Local MV-algebras 1-gen-2011 Brunella, Gerla; Russo, Ciro; Spada, Luca