loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
34th International Symposium on Multiple-Valued Logic (ISMVL'04)
Non-Deterministic Matrices
University of Toronto, Toronto, Canada
May 19-May 22
ISBN: 0-7695-2130-4
ASCII Text
x 
 
Arnon Avron, Iddo Lev, "Non-Deterministic Matrices," Multiple-Valued Logic, IEEE International Symposium on, pp. 282-287, 34th International Symposium on Multiple-Valued Logic (ISMVL'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/ISMVL.2004.1319955,
author = {Arnon Avron and Iddo Lev},
title = {Non-Deterministic Matrices},
journal ={Multiple-Valued Logic, IEEE International Symposium on},
volume = {0},
year = {2004},
issn = {0195-623X},
pages = {282-287},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2004.1319955},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Multiple-Valued Logic, IEEE International Symposium on
TI - Non-Deterministic Matrices
SN - 0195-623X
SP282
EP287
A1 - Arnon Avron,
A1 - Iddo Lev,
PY - 2004
KW - null
VL - 0
JA - Multiple-Valued Logic, IEEE International Symposium on
ER -
 
Arnon Avron, Tel-Aviv University
Iddo Lev, Stanford University
The ordinary concept of a multiple-valued matrix is generalized by introducing non-deterministic matrices (Nmatrices), in which non-deterministic computations of truthvalues 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.
Citation:
Arnon Avron, Iddo Lev, "Non-Deterministic Matrices," ismvl, pp.282-287, 34th International Symposium on Multiple-Valued Logic (ISMVL'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.