Stefano Aguzzoli
University of Milan
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Stefano Aguzzoli.
Journal of Logic, Language and Information | 2000
Stefano Aguzzoli; Agata Ciabattoni
AbstractIn this paper we deepen Mundicis analysis on reducibility of the decision problem from infinite-valued Łukasiewicz logic
soft computing | 2005
Stefano Aguzzoli; Brunella Gerla; Zuzana Haniková
soft computing | 2008
Stefano Aguzzoli; Brunella Gerla
\mathcal{L}
Birthday ... | 2007
Stefano Aguzzoli; Agata Ciabattoni; Brunella Gerla; Corrado Manara; Vincenzo Marra
Lecture Notes in Computer Science | 2002
Stefano Aguzzoli; Paolo Avesani; Paolo Massa
∞ to a suitable m-valued Łukasiewicz logic
Archive for Mathematical Logic | 2002
Stefano Aguzzoli; Brunella Gerla
Studia Logica | 2008
Stefano Aguzzoli; Brunella Gerla; Vincenzo Marra
\mathcal{L}
Journal of Logic and Computation | 2007
Stefano Aguzzoli; Manuela Busaniche; Vincenzo Marra
european conference on symbolic and quantitative approaches to reasoning and uncertainty | 2005
Stefano Aguzzoli; Brunella Gerla; Corrado Manara
m , where m only depends on the length of the formulas to be proved. Using geometrical arguments we find a better upper bound for the least integer m such that a formula is valid in
Studia Logica | 2010
Stefano Aguzzoli; Brunella Gerla
Collaboration
Dive into the Stefano Aguzzoli's collaboration.
