@inbook{a68dc9c97eea40bc8741ea080fbfa844,
title = "Non-Deterministic Semantics for Logical Systems",
abstract = "The principle of truth-functionality (or compositionality) is a basic principle in many-valued logic in general, and in classical logic in particular. According to this principle, the truth-value of a complex formula is uniquely determined by the truth-values of its subformulas. However, real-world information is inescapably incomplete, uncertain, vague, imprecise or inconsistent, and these phenomena are in an obvious conflict with the principle of truth-functionality. One possible solution to this problem is to relax this principle by borrowing from automata and computability theory the idea of non-deterministic computations, and apply it in evaluations of truth-values of formulas. This leads to the introduction of non-deterministic matrices (Nmatrices) --- a natural generalization of ordinary multi-valued matrices, in which the truth-value of a complex formula can be chosen nondeterministically out of some non-empty set of options. There are many natural motivations for introducing non-determinism into the truth-tables of logical connectives.",
author = "Arnon Avron and Anna Zamansky",
year = "2011",
doi = "10.1007/978-94-007-0479-4_4",
language = "אנגלית",
isbn = "978-94-007-0478-7",
series = "Handbook of Philosophical Logic",
publisher = "Springer Netherlands",
pages = "227--304",
editor = "Gabbay, {Dov M.} and Franz Guenthner",
booktitle = "Handbook of Philosophical Logic: Volume 16",
edition = "2",
}