Stefano Aguzzoli

70 papers B 11C 8Misc 1Journal 33Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Gödel logic descriptor for chains of regular languages.
Fuzzy Sets Syst.
Stefano Aguzzoli, Brunella Gerla, Sarah Nastasi
2025 — conf
On Some Properties of Tabular Varieties of MTL-Algebras and Their Decidability.
EUSFLAT (1)
Stefano Aguzzoli, Matteo Bianchi
2024 C conf
Tabular and Pretabular Varieties of MTL-Algebras.
RAMiCS
Stefano Aguzzoli, Matteo Bianchi
2023 C conf
Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components.
RAMiCS
Stefano Aguzzoli, Matteo Bianchi
2023 — conf
Averaging the Truth Value of Formulas in Gödel Logic.
FUZZ
Stefano Aguzzoli, Brunella Gerla
2022 B conf
Invertible substitutions in logics with algebraic semantics equivalent to Product algebras.
FUZZ-IEEE
Stefano Aguzzoli, Brunella Gerla
2021 C conf
Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components.
RAMiCS
Stefano Aguzzoli, Matteo Bianchi
2021 — conf
MV-tropical polynomials and neural networks.
WILF
Stefano Aguzzoli, Antonio Di Nola, Brunella Gerla, Ciro Russo
2021 — conf
On fuzzy truth-values and quasi-standard completeness.
WILF
Stefano Aguzzoli, Brunella Gerla
2021 J jnl
Strictly join irreducible varieties of BL-algebras: The missing pieces.
Fuzzy Sets Syst.
Stefano Aguzzoli, Matteo Bianchi
2021 B conf
Towards an Algebraic Topos Semantics for Three-valued Gödel Logic.
FUZZ-IEEE
Stefano Aguzzoli, Pietro Codara
2020 — conf
Automorphism Groups of Finite BL-Algebras.
IPMU (3)
Stefano Aguzzoli, Brunella Gerla
2020 B conf
Automorphism groups of Lindenbaum algebras of some propositional many-valued logics with locally finite algebraic semantics.
FUZZ-IEEE
Stefano Aguzzoli
2019 J jnl
Free algebras, states and duality for the propositional Gödel
Int. J. Approx. Reason.
Stefano Aguzzoli, Matteo Bianchi, Brunella Gerla, Diego Valota
2019 J jnl
On linear varieties of MTL-algebras.
Soft Comput.
Stefano Aguzzoli, Matteo Bianchi
2018 J jnl
Finite IUML-algebras, Finite Forests and Orthopairs.
Fundam. Informaticae
Stefano Aguzzoli, Stefania Boffa, Davide Ciucci, Brunella Gerla
2017 J jnl
Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops.
J. Log. Comput.
Stefano Aguzzoli, Tommaso Flaminio, Sara Ugolini
2017 J jnl
Free weak nilpotent minimum algebras.
Soft Comput.
Stefano Aguzzoli, Simone Bova, Diego Valota
2017 B conf
Involutive t-norms from non-simple MV-chains.
FUZZ-IEEE
Stefano Aguzzoli, Anna Rita Ferraioli, Brunella Gerla
2017 J jnl
On the category of Nelson paraconsistent lattices.
J. Log. Comput.
Stefano Aguzzoli, Manuela Busaniche, Brunella Gerla, Miguel Andrés Marcos
2017 J jnl
On varieties singly generated by a well-connected FL
Fuzzy Sets Syst.
Stefano Aguzzoli, Matteo Bianchi
2017 C conf
Probability Measures in Gödel
ECSQARU
Stefano Aguzzoli, Matteo Bianchi, Brunella Gerla, Diego Valota
2017 J jnl
Representation of BL-algebras with finite independent spectrum.
Fuzzy Sets Syst.
Stefano Aguzzoli, Manuela Busaniche, José Luis Castiglioni, Noemí Lubomirsky
2017 — conf
The Classification of All the Subvarieties of DNMG.
EUSFLAT/IWIFSGN (1)
Stefano Aguzzoli, Matteo Bianchi, Diego Valota
2016 B conf
A linear space decision procedure for Gödel propositional logic.
FUZZ-IEEE
Stefano Aguzzoli
2016 — conf
Minimally Many-Valued Extensions of the Monoidal t-Norm Based Logic MTL.
WILF
Stefano Aguzzoli, Matteo Bianchi
2016 J jnl
On some questions concerning the axiomatisation of WNM-algebras and their subvarieties.
Fuzzy Sets Syst.
Stefano Aguzzoli, Matteo Bianchi
2016 B conf
Recursive formulas to compute coproducts of finite Gödel algebras and related structures.
FUZZ-IEEE
Stefano Aguzzoli, Pietro Codara
2016 — conf
Refinements of Orthopairs and IUML-algebras.
IJCRS
Stefano Aguzzoli, Stefania Boffa, Davide Ciucci, Brunella Gerla
2016 J jnl
Single chain completeness and some related properties.
Fuzzy Sets Syst.
Stefano Aguzzoli, Matteo Bianchi
2015 B conf
MTL-algebras that define the dual monoidal operation.
FUZZ-IEEE
Stefano Aguzzoli, Matteo Bianchi, Tommaso Flaminio
2015 B conf
Querying with Łukasiewicz logic.
FUZZ-IEEE
Stefano Aguzzoli, Pietro Codara, Diego Valota, Tommaso Flaminio, Brunella Gerla
2015 J jnl
Querying with Łukasiewicz logic.
CoRR
Stefano Aguzzoli, Pietro Codara, Tommaso Flaminio, Brunella Gerla, Diego Valota
2014 C conf
A Logical Descriptor for Regular Languages via Stone Duality.
ICTAC
Stefano Aguzzoli, Denisa Diaconescu, Tommaso Flaminio
2014 — conf
A Note on Drastic Product Logic.
IPMU (2)
Stefano Aguzzoli, Matteo Bianchi, Diego Valota
2014 J jnl
A note on minimal axiomatisations of some extensions of MTL.
Fuzzy Sets Syst.
Stefano Aguzzoli, Anna Rita Ferraioli, Brunella Gerla
2014 J jnl
International Journal of Approximate Reasoning Special Issue on "Rough Sets and Logic".
Int. J. Approx. Reason.
Stefano Aguzzoli, Davide Ciucci, Vincenzo Marra
2013 J jnl
Two principles in many-valued logic.
CoRR
Stefano Aguzzoli, Vincenzo Marra
2012 J jnl
Many-valued logic: beyond algebraic semantics.
Soft Comput.
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
2011 J jnl
Applications of Topological Dualities to Measure Theory in Algebraic Many-valued Logic.
J. Log. Comput.
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
2011 J jnl
Computing Minimal Axiomatizations in Gödel Propositional Logic.
J. Log. Comput.
Stefano Aguzzoli, Ottavio M. D'Antona, Vincenzo Marra
2010 J jnl
Finitely Presented MV-algebras with Finite Automorphism Group.
J. Log. Comput.
Stefano Aguzzoli, Vincenzo Marra
2010 J jnl
Probability Measures in the Logic of Nilpotent Minimum.
Stud Logica
Stefano Aguzzoli, Brunella Gerla
2010 — conf
Schauder Hats for the Two-Variable Fragment of BL.
ISMVL
Stefano Aguzzoli, Simone Bova
2010 — conf
The Automorphism Group of Finite Godel Algebras.
ISMVL
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
2010 J jnl
The free n-generated BL-algebra.
Ann. Pure Appl. Log.
Stefano Aguzzoli, Simone Bova
2009 J jnl
A Temporal Semantics for Basic Logic.
Stud Logica
Stefano Aguzzoli, Matteo Bianchi, Vincenzo Marra
2009 C conf
Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms.
ECSQARU
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
2009 Misc conf
Applications of Finite Duality to Locally Finite Varieties of BL-Algebras.
LFCS
Stefano Aguzzoli, Simone Bova, Vincenzo Marra
2008 J jnl
De Finetti's No-Dutch-Book Criterion for Gödel logic.
Stud Logica
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
2008 B conf
Defuzzifying formulas in Gödel logic through finitely additive measures.
FUZZ-IEEE
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
2008 J jnl
Gödel algebras free over finite distributive lattices.
Ann. Pure Appl. Log.
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
2008 J jnl
Normal forms and free algebras for some extensions of MTL.
Fuzzy Sets Syst.
Stefano Aguzzoli, Brunella Gerla
2007 — ed.
Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
Algebraic and Proof-theoretic Aspects of Non-classical Logics
Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra
2007 J jnl
Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications.
J. Log. Comput.
Stefano Aguzzoli, Manuela Busaniche, Vincenzo Marra
2006 J jnl
An asymptotically tight bound on countermodels for Lukasiewicz logic.
Int. J. Approx. Reason.
Stefano Aguzzoli
2006 B conf
Comparing the Expressive Power of Some Fuzzy Logics Based on Residuated t-norms.
FUZZ-IEEE
Stefano Aguzzoli, Brunella Gerla
2005 C conf
Brun Normal Forms for Co-atomic Lukasiewicz Logics.
ECSQARU
Stefano Aguzzoli, Ottavio M. D'Antona, Vincenzo Marra
2005 J jnl
Complexity issues in basic logic.
Soft Comput.
Stefano Aguzzoli, Brunella Gerla, Zuzana Haniková
2005 — conf
Normal Forms for the One-Variable Fragment of Hájek's Basic Logic.
ISMVL
Stefano Aguzzoli, Brunella Gerla
2005 C conf
Poset Representation for Gödel and Nilpotent Minimum Logics.
ECSQARU
Stefano Aguzzoli, Brunella Gerla, Corrado Manara
2004 — conf
Uniform Description of Calculi for All t-Norm Logics.
ISMVL
Stefano Aguzzoli
2002 — conf
Collaborative Case-Based Recommender Systems.
ECCBR
Stefano Aguzzoli, Paolo Avesani, Paolo Massa
2002 J jnl
Finite-valued reductions of infinite-valued logics.
Arch. Math. Log.
Stefano Aguzzoli, Brunella Gerla
2001 B conf
A Logical Framwork for Fuzzy Collaborative Filtering.
FUZZ-IEEE
Stefano Aguzzoli, Paolo Avesani, Brunella Gerla
2001 — conf
Weierstrass Approximations by Lukasiewicz Formulas with One Quantified Variable.
ISMVL
Stefano Aguzzoli, Daniele Mundici
2000 — conf
Finite-Valued Approximations of Product Logic.
ISMVL
Stefano Aguzzoli, Brunella Gerla
2000 J jnl
Finiteness in Infinite-Valued Lukasiewicz Logic.
J. Log. Lang. Inf.
Stefano Aguzzoli, Agata Ciabattoni
2000 J jnl
Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions.
J. Log. Comput.
Stefano Aguzzoli, Agata Ciabattoni, Antonio Di Nola
1998 J jnl
A note on the representation of McNaughton lines by basic literals.
Soft Comput.
Stefano Aguzzoli