Concepedia

Stefano Aguzzoli

SA

17

Publications

344

Citations

13

H-Index

1994

Active since

Affiliations

University of Milan(Current)

University of Insubria

University of Siena

Stefano Aguzzoli is an author at University of Milan specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsRepresentation TheoryComputational ComplexitySemanticsComplexityComputer ScienceApproximation TheoryMathematical Foundations

Publications per year

1994–2017

17

Publications

17

Finiteness in Infinite-Valued Łukasiewicz Logic

Stefano Aguzzoli, Agata Ciabattoni · Journal of Logic Language and Information · 2000 · 54 citations

Engineering, Automated Reasoning, Many-valued Logic +3

Complexity issues in basic logic

Stefano Aguzzoli, Brunella Gerla, Zuzana Haniková · Soft Computing · 2005 · 29 citations

Computational Logic, Engineering, Abstract Complexity +7

De Finetti’s No-Dutch-Book Criterion for Gödel logic

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra · Studia Logica · 2008 · 29 citations

Non-classical Logic, Automated Reasoning, Classical Logic +2

Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops

Stefano Aguzzoli, Tommaso Flaminio, Sara Ugolini · Journal of Logic and Computation · 2017 · 24 citations

Algebraic Logic, Abstract Algebra, Representation Theory +9

Normal forms and free algebras for some extensions of MTL

Stefano Aguzzoli, Brunella Gerla · Fuzzy Sets and Systems · 2007 · 22 citations

Abstract Algebra, Representation Theory, Modern Algebra +4

Rows per page

1–5 of 17