TY - GEN
T1 - Non-deterministic matrices
AU - Avron, Arnon
AU - Lev, Iddo
PY - 2004
Y1 - 2004
N2 - The ordinary concept of a multiple-valued matrix is generalized by introducing non-deterministic matrices (Nmatrices), in which non-deterministic computations of truth-values are allowed. The induced logics are investigated, and a generalized compactness theorem that applies to all finite Nmatrices is proved. Among the applications, it is shown that some important logics for reasoning under uncertainty can be characterized by finite Nmatrices but not by finite ordinary matrices.
AB - The ordinary concept of a multiple-valued matrix is generalized by introducing non-deterministic matrices (Nmatrices), in which non-deterministic computations of truth-values are allowed. The induced logics are investigated, and a generalized compactness theorem that applies to all finite Nmatrices is proved. Among the applications, it is shown that some important logics for reasoning under uncertainty can be characterized by finite Nmatrices but not by finite ordinary matrices.
UR - http://www.scopus.com/inward/record.url?scp=3142719184&partnerID=8YFLogxK
U2 - 10.1109/ISMVL.2004.1319955
DO - 10.1109/ISMVL.2004.1319955
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:3142719184
SN - 0-7695-2130-4
T3 - Proceedings of The International Symposium on Multiple-Valued Logic
SP - 282
EP - 287
BT - Proceedings. 34th International Symposium on Multiple-Valued Logic
PB - IEEE
T2 - Proceedings - 34th International Symposium on Multiple-Values Logic, ISMVL 2004
Y2 - 19 May 2004 through 22 May 2004
ER -