A note on the representation of McNaughton lines by basic literals. - Stefano Aguzzoli (Soft Comput., 1998)

Finite-Valued Approximations of Product Logic. - Stefano Aguzzoli; Brunella Gerla (ISMVL, 2000)

Finiteness in Infinite-Valued Lukasiewicz Logic. - Stefano Aguzzoli; Agata Ciabattoni (J. Log. Lang. Inf., 2000)

Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions. - Stefano Aguzzoli; Agata Ciabattoni; Antonio Di Nola (J. Log. Comput., 2000)

A Logical Framwork for Fuzzy Collaborative Filtering. - Stefano Aguzzoli; Paolo Avesani; Brunella Gerla (FUZZ-IEEE, 2001)

Weierstrass Approximations by Lukasiewicz Formulas with One Quantified Variable. - Stefano Aguzzoli; Daniele Mundici (ISMVL, 2001)

Collaborative Case-Based Recommender Systems. - Stefano Aguzzoli; Paolo Avesani; Paolo Massa (ECCBR, 2002)

Finite-valued reductions of infinite-valued logics. - Stefano Aguzzoli; Brunella Gerla (Arch. Math. Log., 2002)

Uniform Description of Calculi for All t-Norm Logics. - Stefano Aguzzoli (ISMVL, 2004)

Brun Normal Forms for Co-atomic Lukasiewicz Logics. - Stefano Aguzzoli; Ottavio M. D'Antona; Vincenzo Marra (ECSQARU, 2005)

Poset Representation for Gödel and Nilpotent Minimum Logics. - Stefano Aguzzoli; Brunella Gerla; Corrado Manara (ECSQARU, 2005)

Normal Forms for the One-Variable Fragment of Hájek's Basic Logic. - Stefano Aguzzoli; Brunella Gerla (ISMVL, 2005)

Complexity issues in basic logic. - Stefano Aguzzoli; Brunella Gerla; Zuzana Haniková (Soft Comput., 2005)

Comparing the Expressive Power of Some Fuzzy Logics Based on Residuated t-norms. - Stefano Aguzzoli; Brunella Gerla (FUZZ-IEEE, 2006)

An asymptotically tight bound on countermodels for Lukasiewicz logic. - Stefano Aguzzoli (Int. J. Approx. Reason., 2006)

Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications. - Stefano Aguzzoli; Manuela Busaniche; Vincenzo Marra (J. Log. Comput., 2007)

Defuzzifying formulas in Gödel logic through finitely additive measures. - Stefano Aguzzoli; Brunella Gerla; Vincenzo Marra (FUZZ-IEEE, 2008)

Gödel algebras free over finite distributive lattices. - Stefano Aguzzoli; Brunella Gerla; Vincenzo Marra (Ann. Pure Appl. Log., 2008)

Normal forms and free algebras for some extensions of MTL. - Stefano Aguzzoli; Brunella Gerla (Fuzzy Sets Syst., 2008)

De Finetti's No-Dutch-Book Criterion for Gödel logic. - Stefano Aguzzoli; Brunella Gerla; Vincenzo Marra (Stud Logica, 2008)

Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms. - Stefano Aguzzoli; Brunella Gerla; Vincenzo Marra (ECSQARU, 2009)

Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. - Stefano Aguzzoli; Simone Bova; Vincenzo Marra (LFCS, 2009)

A Temporal Semantics for Basic Logic. - Stefano Aguzzoli; Matteo Bianchi 001; Vincenzo Marra (Stud Logica, 2009)

Schauder Hats for the Two-Variable Fragment of BL. - Stefano Aguzzoli; Simone Bova (ISMVL, 2010)

The Automorphism Group of Finite Godel Algebras. - Stefano Aguzzoli; Brunella Gerla; Vincenzo Marra (ISMVL, 2010)

The free n-generated BL-algebra. - Stefano Aguzzoli; Simone Bova (Ann. Pure Appl. Log., 2010)

Finitely Presented MV-algebras with Finite Automorphism Group. - Stefano Aguzzoli; Vincenzo Marra (J. Log. Comput., 2010)

Probability Measures in the Logic of Nilpotent Minimum. - Stefano Aguzzoli; Brunella Gerla (Stud Logica, 2010)

Computing Minimal Axiomatizations in Gödel Propositional Logic. - Stefano Aguzzoli; Ottavio M. D'Antona; Vincenzo Marra (J. Log. Comput., 2011)

Applications of Topological Dualities to Measure Theory in Algebraic Many-valued Logic. - Stefano Aguzzoli; Brunella Gerla; Vincenzo Marra (J. Log. Comput., 2011)

Many-valued logic: beyond algebraic semantics. - Stefano Aguzzoli; Brunella Gerla; Vincenzo Marra (Soft Comput., 2012)

Two principles in many-valued logic. - Stefano Aguzzoli; Vincenzo Marra (CoRR, 2013)

A Logical Descriptor for Regular Languages via Stone Duality. - Stefano Aguzzoli; Denisa Diaconescu; Tommaso Flaminio (ICTAC, 2014)

A Note on Drastic Product Logic. - Stefano Aguzzoli; Matteo Bianchi 001; Diego Valota (IPMU (2), 2014)

A note on minimal axiomatisations of some extensions of MTL. - Stefano Aguzzoli; Anna Rita Ferraioli; Brunella Gerla (Fuzzy Sets Syst., 2014)

International Journal of Approximate Reasoning Special Issue on "Rough Sets and Logic". - Stefano Aguzzoli; Davide Ciucci; Vincenzo Marra (Int. J. Approx. Reason., 2014)

MTL-algebras that define the dual monoidal operation. - Stefano Aguzzoli; Matteo Bianchi 001; Tommaso Flaminio (FUZZ-IEEE, 2015)

Querying with Łukasiewicz logic. - Stefano Aguzzoli; Pietro Codara; Diego Valota; Tommaso Flaminio; Brunella Gerla (FUZZ-IEEE, 2015)

A linear space decision procedure for Gödel propositional logic. - Stefano Aguzzoli (FUZZ-IEEE, 2016)

Recursive formulas to compute coproducts of finite Gödel algebras and related structures. - Stefano Aguzzoli; Pietro Codara (FUZZ-IEEE, 2016)

Refinements of Orthopairs and IUML-algebras. - Stefano Aguzzoli; Stefania Boffa; Davide Ciucci; Brunella Gerla (IJCRS, 2016)

Minimally Many-Valued Extensions of the Monoidal t-Norm Based Logic MTL. - Stefano Aguzzoli; Matteo Bianchi 001 (WILF, 2016)

On some questions concerning the axiomatisation of WNM-algebras and their subvarieties. - Stefano Aguzzoli; Matteo Bianchi 001 (Fuzzy Sets Syst., 2016)

Single chain completeness and some related properties. - Stefano Aguzzoli; Matteo Bianchi 001 (Fuzzy Sets Syst., 2016)

Probability Measures in GödelΔ Logic. - Stefano Aguzzoli; Matteo Bianchi 001; Brunella Gerla; Diego Valota (ECSQARU, 2017)

The Classification of All the Subvarieties of DNMG. - Stefano Aguzzoli; Matteo Bianchi 001; Diego Valota (EUSFLAT/IWIFSGN (1), 2017)

Involutive t-norms from non-simple MV-chains. - Stefano Aguzzoli; Anna Rita Ferraioli; Brunella Gerla (FUZZ-IEEE, 2017)

On varieties singly generated by a well-connected FLew-algebra. - Stefano Aguzzoli; Matteo Bianchi 001 (Fuzzy Sets Syst., 2017)

Representation of BL-algebras with finite independent spectrum. - Stefano Aguzzoli; Manuela Busaniche; José Luis Castiglioni; Noemí Lubomirsky (Fuzzy Sets Syst., 2017)

On the category of Nelson paraconsistent lattices. - Stefano Aguzzoli; Manuela Busaniche; Brunella Gerla; Miguel Andrés Marcos (J. Log. Comput., 2017)

Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops. - Stefano Aguzzoli; Tommaso Flaminio; Sara Ugolini (J. Log. Comput., 2017)

Free weak nilpotent minimum algebras. - Stefano Aguzzoli; Simone Bova; Diego Valota (Soft Comput., 2017)

Finite IUML-algebras, Finite Forests and Orthopairs. - Stefano Aguzzoli; Stefania Boffa; Davide Ciucci; Brunella Gerla (Fundam. Informaticae, 2018)

Free algebras, states and duality for the propositional GödelΔ and Drastic Product logics. - Stefano Aguzzoli; Matteo Bianchi 001; Brunella Gerla; Diego Valota (Int. J. Approx. Reason., 2019)

On linear varieties of MTL-algebras. - Stefano Aguzzoli; Matteo Bianchi 001 (Soft Comput., 2019)

Automorphism groups of Lindenbaum algebras of some propositional many-valued logics with locally finite algebraic semantics. - Stefano Aguzzoli (FUZZ-IEEE, 2020)

Automorphism Groups of Finite BL-Algebras. - Stefano Aguzzoli; Brunella Gerla (IPMU (3), 2020)

Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components. - Stefano Aguzzoli; Matteo Bianchi 001 (RAMiCS, 2021)

Towards an Algebraic Topos Semantics for Three-valued Gödel Logic. - Stefano Aguzzoli; Pietro Codara (FUZZ-IEEE, 2021)

On fuzzy truth-values and quasi-standard completeness. - Stefano Aguzzoli; Brunella Gerla (WILF, 2021)

MV-tropical polynomials and neural networks. - Stefano Aguzzoli; Antonio Di Nola; Brunella Gerla; Ciro Russo (WILF, 2021)

Strictly join irreducible varieties of BL-algebras: The missing pieces. - Stefano Aguzzoli; Matteo Bianchi 001 (Fuzzy Sets Syst., 2021)

Invertible substitutions in logics with algebraic semantics equivalent to Product algebras. - Stefano Aguzzoli; Brunella Gerla (FUZZ-IEEE, 2022)

Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components. - Stefano Aguzzoli; Matteo Bianchi 001 (RAMiCS, 2023)

Averaging the Truth Value of Formulas in Gödel Logic. - Stefano Aguzzoli; Brunella Gerla (FUZZ, 2023)

Tabular and Pretabular Varieties of MTL-Algebras. - Stefano Aguzzoli; Matteo Bianchi 001 (RAMiCS, 2024)

On Some Properties of Tabular Varieties of MTL-Algebras and Their Decidability. - Stefano Aguzzoli; Matteo Bianchi 001 (EUSFLAT (1), 2025)