Stefano Aguzzoli

According to our database1, Stefano Aguzzoli authored at least 57 papers between 1998 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Automorphism Groups of Finite BL-Algebras.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

Automorphism groups of Lindenbaum algebras of some propositional many-valued logics with locally finite algebraic semantics.
Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020

2019
On linear varieties of MTL-algebras.
Soft Comput., 2019

Free algebras, states and duality for the propositional Gödel<sub>Δ</sub> and Drastic Product logics.
Int. J. Approx. Reason., 2019

2018
Finite IUML-algebras, Finite Forests and Orthopairs.
Fundam. Informaticae, 2018

2017
Free weak nilpotent minimum algebras.
Soft Comput., 2017

Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops.
J. Log. Comput., 2017

On the category of Nelson paraconsistent lattices.
J. Log. Comput., 2017

Representation of BL-algebras with finite independent spectrum.
Fuzzy Sets Syst., 2017

On varieties singly generated by a well-connected FL<sub>ew</sub>-algebra.
Fuzzy Sets Syst., 2017

Involutive t-norms from non-simple MV-chains.
Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

The Classification of All the Subvarieties of DNMG.
Proceedings of the Advances in Fuzzy Logic and Technology 2017 - Proceedings of: EUSFLAT-2017 - The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN'2017, 2017

Probability Measures in Gödel<sub>Δ</sub> Logic.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

2016
Single chain completeness and some related properties.
Fuzzy Sets Syst., 2016

On some questions concerning the axiomatisation of WNM-algebras and their subvarieties.
Fuzzy Sets Syst., 2016

Minimally Many-Valued Extensions of the Monoidal t-Norm Based Logic MTL.
Proceedings of the Fuzzy Logic and Soft Computing Applications, 2016

Refinements of Orthopairs and IUML-algebras.
Proceedings of the Rough Sets - International Joint Conference, 2016

Recursive formulas to compute coproducts of finite Gödel algebras and related structures.
Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

A linear space decision procedure for Gödel propositional logic.
Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

2015
Querying with Łukasiewicz logic.
Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

MTL-algebras that define the dual monoidal operation.
Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

2014
International Journal of Approximate Reasoning Special Issue on "Rough Sets and Logic".
Int. J. Approx. Reason., 2014

A note on minimal axiomatisations of some extensions of MTL.
Fuzzy Sets Syst., 2014

A Note on Drastic Product Logic.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

A Logical Descriptor for Regular Languages via Stone Duality.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013
Two principles in many-valued logic.
CoRR, 2013

2012
Many-valued logic: beyond algebraic semantics.
Soft Comput., 2012

2011
Applications of Topological Dualities to Measure Theory in Algebraic Many-valued Logic.
J. Log. Comput., 2011

Computing Minimal Axiomatizations in Gödel Propositional Logic.
J. Log. Comput., 2011

2010
Probability Measures in the Logic of Nilpotent Minimum.
Stud Logica, 2010

Finitely Presented MV-algebras with Finite Automorphism Group.
J. Log. Comput., 2010

The free n-generated BL-algebra.
Ann. Pure Appl. Log., 2010

The Automorphism Group of Finite Godel Algebras.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

Schauder Hats for the Two-Variable Fragment of BL.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009
A Temporal Semantics for Basic Logic.
Stud Logica, 2009

Applications of Finite Duality to Locally Finite Varieties of BL-Algebras.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2008
De Finetti's No-Dutch-Book Criterion for Gödel logic.
Stud Logica, 2008

Normal forms and free algebras for some extensions of MTL.
Fuzzy Sets Syst., 2008

Gödel algebras free over finite distributive lattices.
Ann. Pure Appl. Log., 2008

Defuzzifying formulas in Gödel logic through finitely additive measures.
Proceedings of the FUZZ-IEEE 2008, 2008

2007
Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications.
J. Log. Comput., 2007

2006
An asymptotically tight bound on countermodels for Lukasiewicz logic.
Int. J. Approx. Reason., 2006

Comparing the Expressive Power of Some Fuzzy Logics Based on Residuated t-norms.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2006

2005
Complexity issues in basic logic.
Soft Comput., 2005

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), 2005

Poset Representation for Gödel and Nilpotent Minimum Logics.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Brun Normal Forms for Co-atomic Lukasiewicz Logics.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

2004
Uniform Description of Calculi for All t-Norm Logics.
Proceedings of the 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 2004

2002
Finite-valued reductions of infinite-valued logics.
Arch. Math. Log., 2002

Collaborative Case-Based Recommender Systems.
Proceedings of the Advances in Case-Based Reasoning, 6th European Conference, 2002

2001
Weierstrass Approximations by Lukasiewicz Formulas with One Quantified Variable.
Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

A Logical Framwork for Fuzzy Collaborative Filtering.
Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001

2000
Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions.
J. Log. Comput., 2000

Finiteness in Infinite-Valued Lukasiewicz Logic.
J. Log. Lang. Inf., 2000

Finite-Valued Approximations of Product Logic.
Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic, 2000

1998
A note on the representation of McNaughton lines by basic literals.
Soft Comput., 1998


  Loading...