Stefano Aguzzoli

Diego Valota

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

2016

Single chain completeness and some related properties.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2016

On some questions concerning the axiomatisation of WNM-algebras and their subvarieties.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2016

Minimally Many-Valued Extensions of the Monoidal t-Norm Based Logic MTL.

[BibT_eX]

[DOI]

Proceedings of the Fuzzy Logic and Soft Computing Applications, 2016

Refinements of Orthopairs and IUML-algebras.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets - International Joint Conference, 2016

Recursive formulas to compute coproducts of finite Gödel algebras and related structures.

[BibT_eX]

[DOI]

Pietro Codara

Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

A linear space decision procedure for Gödel propositional logic.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

2015

Querying with Łukasiewicz logic.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

MTL-algebras that define the dual monoidal operation.

[BibT_eX]

[DOI]

Tommaso Flaminio

Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

2014

International Journal of Approximate Reasoning Special Issue on "Rough Sets and Logic".

[BibT_eX]

[DOI]

Davide Ciucci

Int. J. Approx. Reason., 2014

A note on minimal axiomatisations of some extensions of MTL.

[BibT_eX]

[DOI]

Anna Rita Ferraioli

Fuzzy Sets Syst., 2014

A Note on Drastic Product Logic.

[BibT_eX]

[DOI]

Diego Valota

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

A Logical Descriptor for Regular Languages via Stone Duality.

[BibT_eX]

[DOI]

Denisa Diaconescu

Tommaso Flaminio

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Two principles in many-valued logic.

[BibT_eX]

[DOI]

CoRR, 2013

2012

Many-valued logic: beyond algebraic semantics.

[BibT_eX]

[DOI]

Soft Comput., 2012

2011

Applications of Topological Dualities to Measure Theory in Algebraic Many-valued Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2011

Computing Minimal Axiomatizations in Gödel Propositional Logic.

[BibT_eX]

[DOI]

Ottavio M. D'Antona

J. Log. Comput., 2011

2010

Probability Measures in the Logic of Nilpotent Minimum.

[BibT_eX]

[DOI]

Stud Logica, 2010

Finitely Presented MV-algebras with Finite Automorphism Group.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

The free n-generated BL-algebra.

[BibT_eX]

[DOI]

Simone Bova

Ann. Pure Appl. Log., 2010

The Automorphism Group of Finite Godel Algebras.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

Schauder Hats for the Two-Variable Fragment of BL.

[BibT_eX]

[DOI]

Simone Bova

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009

A Temporal Semantics for Basic Logic.

[BibT_eX]

[DOI]

Stud Logica, 2009

Applications of Finite Duality to Locally Finite Varieties of BL-Algebras.

[BibT_eX]

[DOI]

Simone Bova

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2008

De Finetti's No-Dutch-Book Criterion for Gödel logic.

[BibT_eX]

[DOI]

Stud Logica, 2008

Normal forms and free algebras for some extensions of MTL.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2008

Gödel algebras free over finite distributive lattices.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2008

Defuzzifying formulas in Gödel logic through finitely additive measures.

[BibT_eX]

[DOI]

Proceedings of the FUZZ-IEEE 2008, 2008

2007

Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications.

[BibT_eX]

[DOI]

Manuela Busaniche

J. Log. Comput., 2007

2006

An asymptotically tight bound on countermodels for Lukasiewicz logic.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2006

Comparing the Expressive Power of Some Fuzzy Logics Based on Residuated t-norms.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Fuzzy Systems, 2006

2005

Complexity issues in basic logic.

[BibT_eX]

[DOI]

Zuzana Haniková

Soft Comput., 2005

Normal Forms for the One-Variable Fragment of Hájek's Basic Logic.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

Poset Representation for Gödel and Nilpotent Minimum Logics.

[BibT_eX]

[DOI]

Corrado Manara

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Brun Normal Forms for Co-atomic Lukasiewicz Logics.

[BibT_eX]

[DOI]

Ottavio M. D'Antona

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

2004

Uniform Description of Calculi for All t-Norm Logics.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 2004

2002

Finite-valued reductions of infinite-valued logics.

[BibT_eX]

[DOI]

Arch. Math. Log., 2002

Collaborative Case-Based Recommender Systems.

[BibT_eX]

[DOI]

Paolo Avesani

Paolo Massa

Proceedings of the Advances in Case-Based Reasoning, 6th European Conference, 2002

2001

Weierstrass Approximations by Lukasiewicz Formulas with One Quantified Variable.

[BibT_eX]

[DOI]

Daniele Mundici

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

A Logical Framwork for Fuzzy Collaborative Filtering.

[BibT_eX]

[DOI]

Paolo Avesani

Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001

2000

Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions.

[BibT_eX]

[DOI]

Agata Ciabattoni

Antonio Di Nola

J. Log. Comput., 2000

Finiteness in Infinite-Valued Lukasiewicz Logic.

[BibT_eX]

[DOI]

Agata Ciabattoni

J. Log. Lang. Inf., 2000

Finite-Valued Approximations of Product Logic.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic, 2000

1998

A note on the representation of McNaughton lines by basic literals.

[BibT_eX]

[DOI]