发布求助
文献互助 智能选刊 最新文献

35th International Symposium on Multiple-Valued Logic (ISMVL'05)最新文献

筛选
英文 中文
Polynomial ring calculus for many-valued logics 多值逻辑的多项式环演算
35th International Symposium on Multiple-Valued Logic (ISMVL'05) Pub Date : 2005-05-19 DOI: 10.1109/ISMVL.2005.38
W. Carnielli
{"title":"Polynomial ring calculus for many-valued logics","authors":"W. Carnielli","doi":"10.1109/ISMVL.2005.38","DOIUrl":"https://doi.org/10.1109/ISMVL.2005.38","url":null,"abstract":"This paper discusses a new algebraic proof method for general sentential logics, which is particularly apt for finitely-many-valued logics and for PC, based on reducing polynomials over finite fields. The method can also be extended to cover certain non-finitely valued logics and non-truth-functional logics as well, provided they can be characterized by two-valued dyadic semantics. The resulting mechanizable proof method introduced here is of interest for automatic proof theory, and seems also to be appropriate for investigating questions on complexity.","PeriodicalId":340578,"journal":{"name":"35th International Symposium on Multiple-Valued Logic (ISMVL'05)","volume":"62 S285","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132228231","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}
引用次数: 21
Partially ordered set with residuated t-norm 有剩余t范数的偏序集合
35th International Symposium on Multiple-Valued Logic (ISMVL'05) Pub Date : 2005-05-19 DOI: 10.1109/ISMVL.2005.37
M. Kondo, M. Kawaguchi
{"title":"Partially ordered set with residuated t-norm","authors":"M. Kondo, M. Kawaguchi","doi":"10.1109/ISMVL.2005.37","DOIUrl":"https://doi.org/10.1109/ISMVL.2005.37","url":null,"abstract":"We consider properties of partially ordered sets with residuated t-norm and show that 1. If (X;T,0,1) is a bounded partially ordered set with residuated t-norm T, then (X;*,0/sub X/,1/sub X/) is a bounded BCK-algebra with condition (S); 2. Conversely, if (B;*,0/sub B/,1/sub B/) is a bounded BCK-algebra with (S), then (B;T,0,1) is the bounded partially ordered set with residuated t-norm. This means that the class of all bounded partially ordered sets with residuated t-norm coincides with the class of all bounded BCK-algebras with condition (S). Since the class of these algebras forms a variety, the class of partially ordered sets with residuated t-norm is represented by only equations.","PeriodicalId":340578,"journal":{"name":"35th International Symposium on Multiple-Valued Logic (ISMVL'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116215992","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
Signed-digit CMOS (SD-CMOS) logic circuits with dynamic operation 动态操作的符号数字CMOS (SD-CMOS)逻辑电路
35th International Symposium on Multiple-Valued Logic (ISMVL'05) Pub Date : 2004-05-19 DOI: 10.1109/ISMVL.2005.44
H. Fukuda
{"title":"Signed-digit CMOS (SD-CMOS) logic circuits with dynamic operation","authors":"H. Fukuda","doi":"10.1109/ISMVL.2005.44","DOIUrl":"https://doi.org/10.1109/ISMVL.2005.44","url":null,"abstract":"This paper proposes a design for signed-digit CMOS (SD-CMOS) basic circuits, such as a driver circuit, an inverter circuit, and a full-adder circuit, and describes a parallel multiplier circuit capable of high-speed operation with a time of about 10 nsec independent of the bit length. The proposed CMOS basic circuits utilize a multi-voltage power supply to enable dynamic operation with pre-charged output terminals at signal level 0 (VDD1). This design methodology is applicable to arithmetic circuits for highly accurate, high-speed processors.","PeriodicalId":340578,"journal":{"name":"35th International Symposium on Multiple-Valued Logic (ISMVL'05)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122334037","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
Two New Awards 两个新奖项
35th International Symposium on Multiple-Valued Logic (ISMVL'05) Pub Date : 1900-01-01 DOI: 10.1109/ISMVL.2005.51
M. Perkowski
{"title":"Two New Awards","authors":"M. Perkowski","doi":"10.1109/ISMVL.2005.51","DOIUrl":"https://doi.org/10.1109/ISMVL.2005.51","url":null,"abstract":"Starting 2005, there will be a yearly award from the MVL Technical Committee for the outstanding contribution by a young researcher in the area of Multiple-Valued Logic. The award will be USD 200 and a commemorative plaque. The award will be open to graduate and undergraduate students and researchers who are within five years of receiving their terminal degrees. To be considered, the individual must be the first author of the paper and must present the paper at the symposium.","PeriodicalId":340578,"journal":{"name":"35th International Symposium on Multiple-Valued Logic (ISMVL'05)","volume":"303 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122742616","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
首页 上一页
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学术文献互助群
群 号：481959085
Book学术官方微信