{"title":"On multiple-valued logic functions monotonic with respect to ambiguity","authors":"K. Nakashima, N. Takagi","doi":"10.1109/ISMVL.1992.186801","DOIUrl":null,"url":null,"abstract":"The authors define a partial-ordering relation with respect to ambiguity with the greatest element 1/2 and minimal elements 0, 1 in the set of truth values V=(0,1/(p-1),. . ., 1/2,. . ., (p-2)/(p-1), 1), and the p-valued logic functions monotonic with respect to ambiguity, based on this ordering relation. A necessary and sufficient condition for p-valued logic functions to be monotonic with respect to ambiguity is presented along with the proofs, and their logic expressions using unary operators defined in the partial-ordering relation are provided.<<ETX>>","PeriodicalId":127091,"journal":{"name":"[1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic","volume":"19 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.1992.186801","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
The authors define a partial-ordering relation with respect to ambiguity with the greatest element 1/2 and minimal elements 0, 1 in the set of truth values V=(0,1/(p-1),. . ., 1/2,. . ., (p-2)/(p-1), 1), and the p-valued logic functions monotonic with respect to ambiguity, based on this ordering relation. A necessary and sufficient condition for p-valued logic functions to be monotonic with respect to ambiguity is presented along with the proofs, and their logic expressions using unary operators defined in the partial-ordering relation are provided.<>