Stefano Aguzzoli

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 31

Top Topics

Regular Languages

Linearly Ordered

Propositional Logic

Boolean Algebra

Top Venues

Fuzzy Sets Syst.

Publications

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