Non-deterministic multi-valued logics - A tutorial

Arnon Avron, Anna Zamansky

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Non-deterministic multi-valued matrices (Nmatri-ces) are a new, fruitful and quickly expanding field of research first introduced a few years ago. Since then it has been rapidly developing towards a foundational logical theory and has found numerous applications. The novelty of Nmatrices is in extending the usual many-valued algebraic semantics of logical systems by importing the idea of non-deterministic computations, and allowing the truth-value of a formula to be chosen non-deterministically out of a given set of options. Nmatrices have proved to be a powerful tool, the use of which preserves all the advantages of ordinary many-valued matrices, but is applicable to a much wider range of logics. Indeed, there are many useful (propositional) non-classical logics, which have no finite multi-valued characteristic matrices, but do have finite Nmatrices, and thus are decidable. In this tutorial we introduce the reader to the concept of Nmatrices, and demonstrate their usefulness by providing modular non-deterministic semantics for a well-known family of logics for reasoning under uncertainty.

Original languageEnglish
Title of host publicationISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic
Number of pages8
StatePublished - 2010
Externally publishedYes
Event40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010 - Barcelona, Spain
Duration: 26 May 201028 May 2010

Publication series

NameProceedings of The International Symposium on Multiple-Valued Logic
ISSN (Print)0195-623X


Conference40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010

ASJC Scopus subject areas

  • General Computer Science
  • General Mathematics


Dive into the research topics of 'Non-deterministic multi-valued logics - A tutorial'. Together they form a unique fingerprint.

Cite this