AGUZZOLI, STEFANO
AGUZZOLI, STEFANO
Dipartimento di Informatica Giovanni Degli Antoni
A linear space decision procedure for goedel propositional logic
2016 S. Aguzzoli
A Logical Descriptor for Regular Languages via Stone Duality
2014 S. Aguzzoli, D. Diaconescu, T. Flaminio
A logical framework for fuzzy collaborative filtering
2001 S. Aguzzoli, P. Avesani, B. Gerla
A note on drastic product logic
2014 S. Aguzzoli, M. Bianchi, D. Valota
A note on minimal axiomatisations of some extensions of MTL
2014 S. Aguzzoli, A.R. Ferraioli, B. Gerla
A note on the representation of McNaughton lines by basic literals
1998 S. Aguzzoli
A temporal semantics for basic logic
2009 S. Aguzzoli, M. Bianchi, V. Marra
Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
2007 S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra
Algebras of Fuzzy Sets in Logics based on Continuous Triangular Norms
2009 S. Aguzzoli, B. Gerla, V. Marra
Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components
2021 S. Aguzzoli, M. Bianchi
An algorithmic desingularization of 3-dimensional toric varieties
1994 S. Aguzzoli, D. Mundici
An asymptotically tight bound on countermodels for Łukasiewicz logic
2006 S. Aguzzoli
Applications of finite duality to locally finite varieties of BL-algebras
2009 S. Aguzzoli, S. Bova, V. Marra
Applications of topological dualities to measure theory in algebraic many-valued logic
2011 S. Aguzzoli, B. Gerla, V. Marra
Area Editor of "Many-Valued Logic and Algebraic Structures" di SOFT COMPUTING
2006
Automorphism Groups of Finite BL-Algebras
2020 S. Aguzzoli, B. Gerla
Automorphism groups of Lindenbaum algebras of some propositional many-valued logics with locally finite algebraic semantics
2020 S. Aguzzoli
Brun normal forms for co-atomic Lukasiewicz logics
2005 S. Aguzzoli, O.M. D'Antona, V. Marra
Chapter IX: Free Algebras and Functional Representation for Fuzzy Logics
2011 S. Aguzzoli, S. Bova, B. Gerla
Collaborative Case-Based Recommender Systems
2002 S. Aguzzoli, A. Paolo, M. Paolo