[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic最新文献

筛选
英文 中文
Four-valued logic using two lines and its application to modal logic 二线四值逻辑及其在模态逻辑中的应用
Y. Tsuchiya
{"title":"Four-valued logic using two lines and its application to modal logic","authors":"Y. Tsuchiya","doi":"10.1109/ISMVL.1988.5201","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5201","url":null,"abstract":"The author discusses a four-valued logic using two lines each of which consists of two-valued logical elements. It is obtained by adding a few monomial operators to the operators of the four-valued logic reported by T. Chen et al. (1983). Functional completeness, duality, canonical form, simplification and other theorems are discussed. It is concluded that the functional space of four-valued logic is equivalent to that of two-valued logic. It is also found that variables and operators of modal logic correspond to those of four-valued logic using two lines.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122074170","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Prospects of multiple-valued bio-information processing systems 多值生物信息处理系统的前景
M. Kameyama, T. Higuchi
{"title":"Prospects of multiple-valued bio-information processing systems","authors":"M. Kameyama, T. Higuchi","doi":"10.1109/ISMVL.1988.5179","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5179","url":null,"abstract":"A model of multiple-valued molecular elements based on enzyme-substrate reactions is proposed as a basis for constructing an information-processing system. An important characteristic of enzymes is their specificity, which is used to provide a pass gate function. Both deterministic and stochastic information processing can be realized. Some applications based on the proposed model are demonstrated.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128821325","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
On Zadeh's method for interpreting linguistically quantified proposition 论扎德的语言量化命题解释方法
M. Ying
{"title":"On Zadeh's method for interpreting linguistically quantified proposition","authors":"M. Ying","doi":"10.1109/ISMVL.1988.5181","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5181","url":null,"abstract":"The author establishes an interesting result on multiquantified propositions. He then gives a novel method for interpreting linguistically quantified propositions with nearness measures.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131995824","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Fuzzy resolution principle 模糊分辨原理
Z. Shen, L. Ding, M. Mukaidono
{"title":"Fuzzy resolution principle","authors":"Z. Shen, L. Ding, M. Mukaidono","doi":"10.1109/ISMVL.1988.5176","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5176","url":null,"abstract":"The resolution principle based on reduction and absurdum is extended from binary logic to fuzzy logic. The extension is dependent on introducing the concepts of fuzzy contradictory, contradictory degree, fuzzy resolvent, and confidence of resolvent. The concept of fuzzy resolvent is first interpreted, as it is the most important concept and is the basis of fuzzy resolution. Then the fuzzy resolution principle is considered for fuzzy propositional logic and extended to the fuzzy firs-order logic. The completeness of the fuzzy resolution principle is proved. The fuzzy resolution principle has been used as the basis of a powerful fuzzy Prolog system.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131387047","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 51
Ranking linguistic outcomes under fuzziness and randomness 模糊性和随机性下的语言结果排序
M. Delgado, J. Verdegay, M. Vila
{"title":"Ranking linguistic outcomes under fuzziness and randomness","authors":"M. Delgado, J. Verdegay, M. Vila","doi":"10.1109/ISMVL.1988.5194","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5194","url":null,"abstract":"The outcomes of a decision-making problem under fuzziness and randomness conditions can appear in the form '(the result is R) is P', R being a linguistic assessment (label), qualifying the result, and P a verbal probability. An attempt is made to order such kinds of linguistic outcomes by using the properties of labels without considering their membership functions. A partial order on the set of the outcomes is defined, its properties are studied, and some examples are given.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115887546","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Polynomial Fourier transforms 多项式傅里叶变换
Z. Gongli, C. Moraga
{"title":"Polynomial Fourier transforms","authors":"Z. Gongli, C. Moraga","doi":"10.1109/ISMVL.1988.5203","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5203","url":null,"abstract":"A discrete polynomial Fourier transform that leads to a family of Chrestenson-related transforms is disclosed. The polynomial spectrum of a p-valued function can be calculated without requiring complex multiplication. Former known expressions for Chrestenson spectra can be obtained from the polynomial spectra by a simple modulo reduction. The coefficients of the spectral polynomials give exact information on the correlation between p-valued and linear functions. It is shown that the coefficients of selected spectral polynomials characterize the p-valued threshold functions uniquely.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122869227","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
The design of decoders for Q-valued logic circuits q值逻辑电路解码器的设计
A. Prieto, P. Martín-Smith, F. Pelayo, A. Lloris
{"title":"The design of decoders for Q-valued logic circuits","authors":"A. Prieto, P. Martín-Smith, F. Pelayo, A. Lloris","doi":"10.1109/ISMVL.1988.5145","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5145","url":null,"abstract":"A design procedure is presented for multivalued threshold decoders using only three very simple modules. This general design method can be used in any technology, either in voltage or in current mode. The resulting decoders can easily be included in integrated circuits using standard integration techniques. The procedure is applied, as an example, to the design of a quaternary decoder in CMOS technology.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121578523","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Degrees of untruth 谎言的程度
D. Miller
{"title":"Degrees of untruth","authors":"D. Miller","doi":"10.1109/ISMVL.1988.5141","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5141","url":null,"abstract":"The author points out that truth and falsehood are not open to supplementation by other truth values in the way that early work in many-valued logic, proposed, nor is truth amenable to gradation in the way that is suggested by the terminology of degrees of truth. He maintains that nevertheless there may be a degree of untruth: one untruth may be more or less false than another is. He discusses a variety of recent attempts to make some sense of degrees of untruth (or degrees of truth).<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125865565","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Ternary physical protocol for MARILAN, a multiple-access ring local area network MARILAN,一个多址环形局域网的三元物理协议
R.J. Kaliman, C. B. Silio
{"title":"Ternary physical protocol for MARILAN, a multiple-access ring local area network","authors":"R.J. Kaliman, C. B. Silio","doi":"10.1109/ISMVL.1988.5143","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5143","url":null,"abstract":"A design is presented for an asynchronous ternary transmission physical-layer protocol for a multiple-access-ring local area network (MARILAN) that uses the PLAYTHROUGH data-link-layer protocol. The ternary encoding scheme presented provides for both bit synchronization and simultaneous information transfer on a single pair of wires without increase in hardware complexity or bandwidth requirements. Bandwidth requirements for the polar return-to-zero (RZ) scheme proposed previously for single-pair wire links and the ternary non-RZ (NRZ) scheme used here are analyzed and compared to each other and to requirements for the binary Manchester code. Test results on prototype ring interface units using this ternary transmission mechanism are presented. Several advantages that accrue from the use of ternary NRZ signaling on the links of the ring are discussed.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125430205","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Fuzzy measures and their representation 模糊测度及其表示
H. J. Skala
{"title":"Fuzzy measures and their representation","authors":"H. J. Skala","doi":"10.1109/ISMVL.1988.5153","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5153","url":null,"abstract":"A very general class of fuzzy measurable spaces and fuzzy measures is studied. The main result is an integral representation theorem without topological assumptions. The Markov kernel representation of fuzzy measures in the sense of E.P. Klement (1980) is discussed.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125850082","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书