Tommaso Flaminio

Sara Ugolini

Int. J. Approx. Reason., 2018

Towards a probability theory for product logic: States, integral representation and reasoning.

[BibT_eX]

[DOI]

Sara Ugolini

Int. J. Approx. Reason., 2018

Logics for Strict Coherence and Carnap-Regular Probability Functions.

[BibT_eX]

[DOI]

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations, 2018

2017

Layers of zero probability and stable coherence over Łukasiewicz events.

[BibT_eX]

[DOI]

Soft Comput., 2017

Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops.

[BibT_eX]

[DOI]

Stefano Aguzzoli

Sara Ugolini

J. Log. Comput., 2017

States of finite GBL-algebras with monoidal sum.

[BibT_eX]

[DOI]

Brunella Gerla

Francesco Marigo

Fuzzy Sets Syst., 2017

On Boolean Algebras of Conditionals and Their Logical Counterpart.

[BibT_eX]

[DOI]

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

2016

Franco Montagna's Work on Provability Logic and Many-valued Logic.

[BibT_eX]

[DOI]

Lev D. Beklemishev

Stud Logica, 2016

Graded logical approaches and their applications.

[BibT_eX]

[DOI]

Erich-Peter Klement

Fuzzy Sets Syst., 2016

Rational Beliefs Real Agents Can Have - A Logical Point of View.

[BibT_eX]

[DOI]

Marcello D'Agostino

Proceedings of the NIPS 2016 Workshop on Imperfect Decision Makers: Admitting Real-World Rationality, 2016

2015

Paraconsistency properties in degree-preserving fuzzy logics.

[BibT_eX]

[DOI]

Soft Comput., 2015

Coherence in the aggregate: A betting method for belief functions on many-valued events.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2015

On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2015

Heyting algebras with indiscernibility relations.

[BibT_eX]

[DOI]

Brunella Gerla

Francesco Marigo

Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 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]

Stefano Aguzzoli

Matteo Bianchi

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

On the Algebraic Structure of Conditional Events.

[BibT_eX]

[DOI]

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

2014

On the logical structure of de Finetti's notion of event.

[BibT_eX]

[DOI]

J. Appl. Log., 2014

Lexicographic MV-algebras and lexicographic states.

[BibT_eX]

[DOI]

Denisa Diaconescu

Ioana Leustean

Fuzzy Sets Syst., 2014

Exploring Infinitesimal Events through MV-algebras and non-Archimedean States.

[BibT_eX]

[DOI]

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]

Stefano Aguzzoli

Denisa Diaconescu

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

2013

Logics for belief functions on MV-algebras.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2013

Exploring Paraconsistency in Degree-Preserving Fuzzy Logics.

[BibT_eX]

[DOI]

Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, 2013

Zero-Probability and Coherent Betting: A Logical Point of View.

[BibT_eX]

[DOI]

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

2012

Geometrical aspects of possibility measures on finite domain MV-clans.

[BibT_eX]

[DOI]

Soft Comput., 2012

A Note on the Convex Structure of Uncertainty Measures on MV-algebras.

[BibT_eX]

[DOI]

Lluís Godo Lacasa

Proceedings of the Synergies of Soft Computing and Statistics for Intelligent Data Analysis, 2012

Combination and Soft-Normalization of Belief Functions on MV-Algebras.

[BibT_eX]

[DOI]

Tomás Kroupa

Proceedings of the Modeling Decisions for Artificial Intelligence, 2012

The Epistemic Structure of de Finetti's Betting Problem.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011

Models for Many-Valued Probabilistic Reasoning.

[BibT_eX]

[DOI]

J. Log. Comput., 2011

On the Logical Formalization of Possibilistic Counterparts of States over <i>n</i>-valued Łukasiewicz Events.

[BibT_eX]

[DOI]

J. Log. Comput., 2011

Non-reversible betting games on fuzzy events: Complexity and algebra.

[BibT_eX]

[DOI]

Martina Fedel

Fuzzy Sets Syst., 2011

Characterization of Generalized Necessity Functions in Łukasiewicz Logic.

[BibT_eX]

[DOI]

Tomás Kroupa

Proceedings of the Nonlinear Mathematics for Uncertainty and its Applications, 2011

Belief Functions on MV-Algebras of Fuzzy Events Based on Fuzzy Evidence.

[BibT_eX]

[DOI]

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

2010

The coherence of Lukasiewicz assessments is NP-complete.

[BibT_eX]

[DOI]

Simone Bova

Int. J. Approx. Reason., 2010

Generating the Variety of SMV-Algebras.

[BibT_eX]

[DOI]

Antonio Di Nola

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

On the Complexity of Non-reversible Betting Games on Many-Valued Events.

[BibT_eX]

[DOI]

Martina Fedel

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods, 2010

2009

MV-algebras with internal states and probabilistic fuzzy logics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2009

2008

Strong non-standard completeness for fuzzy logics.

[BibT_eX]

[DOI]

Soft Comput., 2008

Generalized rough approximations in PI 1/2.

[BibT_eX]

[DOI]

Davide Ciucci

Int. J. Approx. Reason., 2008

A complete fuzzy logical system to deal with trust management systems.

[BibT_eX]

[DOI]

G. Michele Pinna

Elisa B. P. Tiezzi

Fuzzy Sets Syst., 2008

On Metric Temporal Lukasiewicz Logic.

[BibT_eX]

[DOI]

Elisa B. P. Tiezzi

Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008

2007

A logic for reasoning about the probability of fuzzy events.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2007

NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach.

[BibT_eX]

[DOI]

Arch. Math. Log., 2007

An Algebraic Approach to States on MV-algebras.

[BibT_eX]

[DOI]

Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

2006

T-norm-based logics with an independent involutive negation.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2006

Mixed Rational Assessments of Possibility and Probability Measures.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Logic, Models and Computer Science, 2006

2005

A logical and algebraic treatment of conditional probability.

[BibT_eX]

[DOI]

Arch. Math. Log., 2005

Extending the Monoidal T-norm Based Logic with an Independent Involutive Negation.

[BibT_eX]

[DOI]

Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

A Zero-Layer Based Fuzzy Probabilistic Logic for Conditional Probability.

[BibT_eX]

[DOI]