Concepedia
2
Publications
72
Citations
H-Index
2012
Active since
Affiliations
University of Salerno(Current)
University of Milan
Luca Spada is an author at University of Salerno specializing in automated reasoning.
Top concepts
Automated Reasoning
Publications per year
2012–2012
The Dual Adjunction between MV-algebras and Tychonoff Spaces
Vincenzo Marra, Luca Spada · Studia Logica · 2012 · 39 citations
Higher Category Theory, Universal Algebra, Dual Adjunction +1
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
Vincenzo Marra, Luca Spada · Annals of Pure and Applied Logic · 2012 · 33 citations
Automated Reasoning, Algebraic Logic, Algebraic Semantics +1
Rows per page
1–2 of 2