PhD Dissertation

Geometric and Proof-Theoretic Issues in Łukasiewicz Propositional Logics.

PhD Program in Mathematical Logic and Theoretical Computer Science,

University of Siena, 1998.

Journal Papers

Stefano Aguzzoli, Daniele Mundici: An Algorithmic Desingularization of 3-Dimensional Toric Varieties, Tôhoku Mathematical Journal, 46, pp. 557-572, 1994.

Stefano Aguzzoli: The Complexity of McNaughton Functions of One Variable, Advances in Applied Mathematics, 21, pp. 58-77, 1998.

Stefano Aguzzoli: A Note on the Representation of McNaughton Lines by Basic Literals, Soft Computing, 2, pp. 111-115, 1998.

Stefano Aguzzoli, Agata Ciabattoni, Antonio Di Nola: Sequent Calculi for Finite-Valued Łukasiewicz Logics via Boolean Decompositions, Journal of Logic and Computation,10, pp. 213-222, 2000.

Stefano Aguzzoli, Agata Ciabattoni: Finiteness in Infinite-Valued Łukasiewicz Logic, Journal of Logic, Language and Information,9, pp. 5-29, 2000.

Stefano Aguzzoli, Brunella Gerla: Finite-Valued Reductions of Infinite-Valued Logics, Archive for Mathematical Logic, 41, pp. 361-399, 2002.

Stefano Aguzzoli, Brunella Gerla: On Countermodels in Basic Logic, Neural Network World, 12, pp. 407-420, 2002.

Stefano Aguzzoli, Brunella Gerla, Zuzana Haniková: Complexity Issues in Basic Logic, Soft Computing, 9, pp. 919-934, 2005.

Stefano Aguzzoli: An Asymptotically Tight Bound on Countermodels for Łukasiewicz Logic, International Journal of Approximate Reasoning , 43, pp. 76-89, 2006.

Stefano Aguzzoli, Manuela Busaniche, Vincenzo Marra: Spectral duality for finitely generated nilpotent minimum algebras, with applications, Journal of Logic and Computation , 17, pp. 749-765, 2007.

Stefano Aguzzoli, Brunella Gerla: Normal Forms and Free Algebras for Some Extensions of MTL, Fuzzy Sets and Systems, 159, pp. 1131-1152, 2008.

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: Gödel Algebras Free over Finite Distributive Lattices, Annals of Pure and Applied Logic, 155, pp. 183-193, 2008.

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: De Finetti's no-Dutch-book criterion for Gödel logic, Studia Logica, 90, pp. 25-41, 2008.

Stefano Aguzzoli, Matteo Bianchi, Vincenzo Marra: A temporal semantics for Basic Logic, Studia Logica, 92, pp. 147-162, 2009.

Stefano Aguzzoli, Brunella Gerla: Probability measures in the logic of Nilpotent Minimum, Studia Logica, 94, pp. 151-176, 2010.

Stefano Aguzzoli, Simone Bova: The Free n-Generated BL-Algebra, Annals of Pure and Applied Logic, 161, pp. 1144-1170, 2010.

Stefano Aguzzoli, Vincenzo Marra: Finitely presented MV-algebras with finite automorphism group, Journal of Logic and Computation, 20, pp. 811-822, 2010.

Stefano Aguzzoli, Ottavio D'Antona, Vincenzo Marra: Computing minimal axiomatisations in Gödel propositional logic, Journal of Logic and Computation, 21, pp. 791-812, 2011.

Stefano Aguzzoli, Leonardo Cabrer, Vincenzo Marra: MV-algebras freely generated by finite Kleene algebras, Algebra Universalis, 70, pp. 245-270, 2013.

Stefano Aguzzoli, Anna Rita Ferraioli, Brunella Gerla: A note on minimal axiomatisations of some extensions of MTL, Fuzzy Sets and Systems, 242, pp. 148-153, 2014.

Stefano Aguzzoli, Matteo Bianchi: On some questions concerning the axiomatisation of WNM-algebras and their subvarieties, Fuzzy Sets and Systems, 292, pp. 5-31, 2016.

Stefano Aguzzoli, Matteo Bianchi: Single chain completeness and some related properties, Fuzzy Sets and Systems, 301, pp. 51-63, 2016.

Stefano Aguzzoli, Simone Bova, Diego Valota: Free weak nilpotent minimum algebras, Soft Computing, 21, pp. 79-95, 2017.

Stefano Aguzzoli, Manuela Busaniche, Jose Luis Castiglioni, Noemi Lubomirsky: Representation of BL-algebras with Finite Independent Spectrum, Fuzzy Sets and Systems, 311, pp. 15-32, 2017.

Stefano Aguzzoli, Matteo Bianchi: On varieties singly generated by a well-connected FLew-algebra, Fuzzy Sets and Systems, 320, pp. 60-63, 2017.

Stefano Aguzzoli, Manuela Busaniche, Brunella Gerla, Miguel Andrés Marcos: On the category of Nelson paraconsistent lattices, Journal of Logic and Computation , to appear. DOI:10.1093/logcom/exx002

Stefano Aguzzoli, Tommaso Flaminio, Sara Ugolini: Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops, Journal of Logic and Computation , to appear. DOI:10.1093/logcom/exx014

Book Chapters

Stefano Aguzzoli, Daniele Mundici: Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable. In Beyond Two: Theory and Applications of Multiple Valued Logic . Melvin Fitting and Ewa Orłowska Eds., Physica-Verlag, Springer, pp. 315-335, 2003.

Stefano Aguzzoli, Simone Bova, Brunella Gerla: Free Algebras and Functional Representation for Fuzzy Logics. Chapter IX of Handbook of Mathematical Fuzzy Logic - Volume 2. P. Cintula, P. Hájek, C. Noguera Eds., Studies in Logic, vol. 38, College Publications, London, pp. 713-791, 2011.

Stefano Aguzzoli, Vincenzo Marra: Two Principles in Many-Valued Logic, In Petr Hájek on Mathematical Fuzzy Logic. F. Montagna, Editor, Outstanding Contributions to Logic 6, Springer, pp. 159-174, 2015.

Volumes Edited

Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday. Lecture Notes in Artificial Intelligence, volume 4460, Springer, 2007.

Special Issues Edited

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: Applications of Topological Dualities to Measure Theory in Algebraic Many-Valued Logic. Journal of Logic and Computation, 21, Editorial pp. 405-406, 2011.

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: Many-Valued Logic: Beyond Algebraic Semantics. Soft Computing, 16, Editorial pp. 1815-1816, 2012.

Stefano Aguzzoli, Davide Ciucci, Vincenzo Marra: Rough Sets and Logic. International Journal of Approximate Reasoning, 55, Editorial pp. 389-390, 2014.

Conferences and Workshops

Stefano Aguzzoli: McNaughton Functions of One Variable for Automated Deduction in Łukasiewicz Logics, Dagstuhl Seminar 9744, COST-MVL Conference, Dagstuhl, Germany, 1997.

Stefano Aguzzoli: Resolution and literals in the infinite-valued propositional calculus of Łukasiewicz, XVIII Incontro AILA di Logica Matematica, Pontignano, Italy, 1998.

Stefano Aguzzoli, Brunella Gerla: Finite-Valued Approximations of Product Logic. Proceedings of The 30th IEEE International Symposium On Multiple-Valued Logic, ISMVL'2000 , Portland, USA. IEEE Computer Society Press, pp. 179-184, 2000.

Stefano Aguzzoli, Daniele Mundici: Weierstrass Approximations by Łukasiewicz Formulas with One Quantified Variable. Proceedings of The 31st IEEE International Symposium On Multiple-Valued Logic, ISMVL'2001, Warsaw, Poland. IEEE Computer Society Press, pp. 361-366, 2001.

Stefano Aguzzoli, Paolo Avesani, Paolo Massa: Compositional CBR via collaborative filtering. Proceedings of ICCBR'01 Workshop on CBR in Electronic Commerce, Vancouver, Canada, 2001.

Stefano Aguzzoli: Upper bounds for critical denominators of Łukasiewicz formulas, XXI Incontro AILA di Logica Matematica, Pontignano, Italy, 2001.

Stefano Aguzzoli, Vincenzo Marra, Daniele Mundici: A note on finitely generated subalgebras of free MV-algebras, 2nd Workshop on Soft Computing at SOFSEM 2001, Piestany, Slovakia, 2001.

Stefano Aguzzoli, Paolo Avesani, Brunella Gerla: A logical framework for fuzzy collaborative filtering. Proceedings of The 10th IEEE International Conference On Fuzzy Systems, FUZZ-IEEE 2001, Melbourne, Australia, 2001. IEEE Computer Society Press, pp. 1043-1046, 2001.

Stefano Aguzzoli, Paolo Avesani, Paolo Massa: Compositional Recommender Systems Using Case-Based Reasoning Approach . Proceedings of ACM SIGIR'01 Workshop on Recommender Systems, New Orleans, USA, 2001.

Stefano Aguzzoli, Paolo Avesani, Paolo Massa: Collaborative Case-Based Recommender Systems. Proceedings of Advances in Case-Based Reasoning, 6th European Conference, ECCBR 2002, Aberdeen, Scotland, UK. Lecture Notes in Computer Science, 2416 Springer, pp. 460-474, 2002.

Stefano Aguzzoli: Uniform Description of Calculi for All t-norm Logics. Proceedings of The 34th IEEE International Symposium On Multiple-Valued Logic, ISMVL'2004, Toronto, Canada. IEEE Computer Society Press, pp. 38-43, 2004.

Stefano Aguzzoli, Daniela Besozzi, Brunella Gerla, Corrado Manara: P systems with vague boundaries: the t-norm approach. Proceedings of Brainstorming workshop on uncertainty in membrane computing, Palma de Mallorca, Spain, pp. 97-105, 2004.

Stefano Aguzzoli, Ioan I. Ardelean, Daniela Besozzi, Brunella Gerla, Corrado Manara: P systems under uncertainty: the case of transmembrane proteins. Proceedings of Brainstorming workshop on uncertainty in membrane computing, Palma de Mallorca, Spain, pp. 107-117, 2004.

Stefano Aguzzoli, Brunella Gerla: Normal Forms for the One-Variable Fragment of Hájek's Basic Logic. Proceedings of The 35th IEEE International Symposium On Multiple-Valued Logic, ISMVL'2005, Calgary, Canada. IEEE Computer Society Press, pp. 284-289, 2005.

Stefano Aguzzoli, Brunella Gerla, Corrado Manara: Poset Representation of Free Algebras in Some Varieties of Residuated Structures. Algebraic and Topological Methods in Non-Classical Logics II, Barcelona, Spain, 2005.

Stefano Aguzzoli, Ottavio D'Antona, Vincenzo Marra: Brun Normal Forms for Co-Atomic Łukasiewicz Logics. Proceedings of The 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005, Barcelona, Spain. Lecture Notes in Artificial Intelligence, 3571 Springer, pp. 650-661, 2005.

Stefano Aguzzoli, Brunella Gerla, Corrado Manara: Poset Representation for Gödel and Nilpotent Minimum Logics. Proceedings of The 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005, Barcelona, Spain. Lecture Notes in Artificial Intelligence, 3571 Springer, pp. 662-674, 2005.

Stefano Aguzzoli, Brunella Gerla, Corrado Manara: Structure of the algebras of NMG-formulas. Proceedings of The 11th Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems, IPMU 2006 , Paris, France, pp. 1620-1627, 2006.

Stefano Aguzzoli, Brunella Gerla: Comparing the expressive power of some fuzzy logics based on residuated t-norms. Proceedings of The IEEE International Conference On Fuzzy Systems, FUZZ IEEE 2006, Vancouver, Canada, pp. 2012-2019, 2006.

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: Defuzzifying formulas in Gödel logic through finitely additive measures. Proceedings of The IEEE International Conference On Fuzzy Systems, FUZZ IEEE 2008, Hong Kong, China, pp. 1886-1893, 2008.

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: Embedding Gödel propositional logic into Prior's tense logic. Proceedings of The 12th Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems, IPMU 2008, Malaga, Spain, pp. 992-999, 2008.

Stefano Aguzzoli, Simone Bova, Vincenzo Marra: Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. Proceedings of the Symposium on Logical Foundations of Computer Science, LFCS 2009, Deerfield Beach, Florida, USA. Lecture Notes in Computer Science, 5407 Springer, pp. 1-15, 2009.

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: Algebras of Fuzzy Sets in Logics based on Continuous Triangular Norms. Proceedings of The 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009, Verona, Italy. Lecture Notes in Artificial Intelligence, 5590 Springer, pp. 875-886, 2009.

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: The Automorphism Group of Finite Gödel Algebras. Proceedings of The 40th IEEE International Symposium On Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain. IEEE Computer Society Press, 21-26, 2010.

Stefano Aguzzoli, Simone Bova: Schauder Hats for the Two-variable Fragment of BL. Proceedings of The 40th IEEE International Symposium On Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain. IEEE Computer Society Press, 27-32, 2010.

Stefano Aguzzoli, Matteo Bianchi, Diego Valota: A note on drastic product logic. Proceedings of 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France. Communications in Computer and Information Science, 443 Springer, pp. 365-374, 2014.

Stefano Aguzzoli, Denisa Diaconescu, Tommaso Flaminio: A logical descriptor for regular languages via Stone duality. Proceedings of 11th International Colloquium on Theoretical Aspects of Computing , ICTAC 2014, Bucharest, Romania. Lecture Notes in Computer Science, 8687, pp. 25-42, 2014.

Stefano Aguzzoli, Matteo Bianchi, Tommaso Flaminio: MTL-algebras that define the dual monoidal operation. Proceedings of IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2015, Istanbul, Turkey, IEEE Computer Society Press, DOI:10.1109/FUZZ-IEEE.2015.7338014, pp. 1-8, 2015.

Stefano Aguzzoli, Pietro Codara, Brunella Gerla, Tommaso Flaminio, Diego Valota: Querying with Łukasiewicz logic. Proceedings of IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2015, Istanbul, Turkey, IEEE Computer Society Press, DOI:10.1109/FUZZ-IEEE.2015.7338061, pp. 1-8, 2015.

Stefano Aguzzoli: A Linear Space Decision Procedure for Gödel Propositional Logic. Proceedings of IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2016, Vancouver, Canada, IEEE Computer Society Press, pp. 194-200, 2016.

Stefano Aguzzoli, Pietro Codara: Recursive Formulas to Compute Coproducts of Finite Gödel Algebras and Related Structures. Proceedings of IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2016, Vancouver, Canada, IEEE Computer Society Press, pp. 201-208, 2016.

Stefano Aguzzoli, Stefania Boffa, Davide Ciucci, Brunella Gerla: Refinements of Orthopairs and IUML-algebras. Proceedings of International Joint Conference on Rough Sets, IJCRS 2016, Santiago, Chile. Lecture Notes in Artificial Intelligence, 9920, pp. 87-96, 2016.

Stefano Aguzzoli, Matteo Bianchi: Minimally many-valued extensions of the monoidal t-norm based logic MTL. Proceedings of WILF 2016, Napoli, Italy. Lecture Notes in Artificial Intelligence, 10147, pp. 106-115, 2017.

Stefano Aguzzoli, Anna Rita Ferraioli, Brunella Gerla: Involutive t-norms from non-simple MV-chains. Proceedings of IEEE International Conference on Fuzzy Systems, FUZZ IEEE 2017, Napoli, Italy, IEEE Computer Society Press, DOI:10.1109/FUZZ-IEEE.2017.8015735, pp. 1-6, 2017.

Stefano Aguzzoli, Matteo Bianchi, Brunella Gerla, Diego Valota: Probability Measures in GödelΔ Logic. Proceedings of The 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, Lugano, Switzerland. Lecture Notes in Artificial Intelligence, 10369, pp. 353-363, 2017.

Stefano Aguzzoli, Matteo Bianchi, Diego Valota: The classification of all the subvarieties of DNMG. Advances in Fuzzy Logic and Technology. Proceedings of the 10th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2017, Warsaw, Poland. pp. 12-24, 2017.

Technical Reports

Stefano Aguzzoli, Agata Ciabattoni: Finiteness in Infinite-Valued Łukasiewicz Logic, ITC-IRST Tech. Rep. No 9906-07, 1999.

Stefano Aguzzoli, Brunella Gerla: Finite-Valued Approximations of Product Logic, ITC-IRST Tech. Rep. No 0003-29, 2000.

Stefano Aguzzoli, Brunella Gerla: Finite-Valued Reductions of Infinite-Valued Logics, ITC-IRST Tech. Rep. No 0003-30, 2000.

Other

Stefano Aguzzoli, Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz, Bollettino U.M.I., Serie VIII, Vol. III-A, Suppl. April 2000, pp. 9-12.