TY - JOUR
T1 - On the expressive power of three-valued and four-valued languages
AU - Avron, Arnon
N1 - Funding Information:
This research was supported by The Israel Science Foundation founded by The Israel Academy of Sciences and Humanities.
PY - 1999/12
Y1 - 1999/12
N2 - We investigate the expressive power relative to three-valued and four-valued logics of various subsets of the set of connectives which are used in the bilattices-based logics. Our study of a language is done in two stages. In the first stage the ability of the language to characterize sets of tuples of truth-values is determined. In the second stage the results of the first are used to determine its power to represent operations. Special attention is given to the role of monotonicity, closure and freedom properties in classifying languages, as well as to maximality properties (for example: we prove that by adding any nonmonotonic connective to the set of four-valued monotonic connectives, we get a functionally complete set).
AB - We investigate the expressive power relative to three-valued and four-valued logics of various subsets of the set of connectives which are used in the bilattices-based logics. Our study of a language is done in two stages. In the first stage the ability of the language to characterize sets of tuples of truth-values is determined. In the second stage the results of the first are used to determine its power to represent operations. Special attention is given to the role of monotonicity, closure and freedom properties in classifying languages, as well as to maximality properties (for example: we prove that by adding any nonmonotonic connective to the set of four-valued monotonic connectives, we get a functionally complete set).
UR - http://www.scopus.com/inward/record.url?scp=0033333667&partnerID=8YFLogxK
U2 - 10.1093/logcom/9.6.977
DO - 10.1093/logcom/9.6.977
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0033333667
SN - 0955-792X
VL - 9
SP - 977
EP - 994
JO - Journal of Logic and Computation
JF - Journal of Logic and Computation
IS - 6
ER -