Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 13287 results
Sort by: relevance publication year

Algebraic Foundations of Many-Valued Reasoning

BOOK published 2000 in Trends in Logic

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

Łukasiewicz ∞-valued calculus

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

Introduction

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

Ulam’s game

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

Advanced topics

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

Further Readings

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

Basic notions

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

Free MV-algebras

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

Lattice-theoretical properties

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

Chang completeness theorem

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

Varieties of MV-algebras

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

MV-algebras and ℓ-groups

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

FOUNDATIONS OF MANY-VALUED REASONING

PROCEEDINGS ARTICLE published July 2006 in Applied Artificial Intelligence

Authors: D. MUNDICI

De Finetti theorem and Borel states in [0,1]-valued algebraic logic

JOURNAL ARTICLE published December 2007 in International Journal of Approximate Reasoning

Authors: Jan Kühr | Daniele Mundici

Cary G. deBessonet. A many-valued approach to deduction and reasoning for artificial intelligence. The Kluwer international series in engineering and computer science. Kluwer Academic Publishers, Boston, Dordrecht, and London, 1991, xviii + 248 pp.

JOURNAL ARTICLE published December 1995 in Journal of Symbolic Logic

Authors: Robert Stärk

Ulam Game, the Logic of Maxsat, and Many-Valued Partitions

BOOK CHAPTER published 1999 in Applied Logic Series

Authors: Daniele Mundici

Conditionals and Independence in Many-Valued Logics

BOOK CHAPTER published 2009 in Lecture Notes in Computer Science

Authors: Daniele Mundici

GRANT published

Bookmaking over infinite-valued events

JOURNAL ARTICLE published December 2006 in International Journal of Approximate Reasoning

Authors: Daniele Mundici

A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence

BOOK published 1991 in The Kluwer International Series in Engineering and Computer Science

Authors: Cary G. deBessonet