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

2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL)最新文献

筛选
英文 中文
A two-valued semantics for infectious logics 传染性逻辑的二值语义
2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2021-05-01 DOI: 10.1109/ISMVL51352.2021.00018
Yang Song, Hitoshi Omori, S. Tojo
{"title":"A two-valued semantics for infectious logics","authors":"Yang Song, Hitoshi Omori, S. Tojo","doi":"10.1109/ISMVL51352.2021.00018","DOIUrl":"https://doi.org/10.1109/ISMVL51352.2021.00018","url":null,"abstract":"In this article, we introduce a new two-valued semantics for infectious logics. The main motivation for this semantics stems from the question if conjunctions and disjunctions of infectious logics can be rightfully called conjunction and disjunction. Building on our new semantics, we will happily conclude that this is the case. We will also show that our semantics can capture various expansions of infectious logics.","PeriodicalId":129346,"journal":{"name":"2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL)","volume":"126 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116091300","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
Proof Systems for Gödel Logics with an Involution 具有对合的Gödel逻辑的证明系统
2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2021-05-01 DOI: 10.1109/ISMVL51352.2021.00021
A. Avron
{"title":"Proof Systems for Gödel Logics with an Involution","authors":"A. Avron","doi":"10.1109/ISMVL51352.2021.00021","DOIUrl":"https://doi.org/10.1109/ISMVL51352.2021.00021","url":null,"abstract":"G~, the extension of Gödel logic $G$ with an invo-lutive negation, has many applications, like its use as a fuzzy paraconsistent logic. In this paper we provide analytic proof systems for both the truth-preserving and the degree-preserving versions of G~, as well as to its proper extensions in its language. In addition, we provide particularly simple Hilbert-type axiomatizations of these logics, which (unlike previous such axiomatizations) do not use Baaz’ Δ operator. Instead, we follow a suggestion made (and left open) in [16], and base our systems on using, in addition to (MP), the rule (CP). (from φ → ψ infer ⇁ψ → ⇁φ). This establishes an interesting connection between G~, and some major modal logics (like $B$ and $S$ 5).","PeriodicalId":129346,"journal":{"name":"2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL)","volume":"136 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116719681","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
A Practical Implementation of the Ternary Logic Using Memristors and MOSFETs 使用忆阻器和mosfet的三元逻辑的实际实现
2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2021-05-01 DOI: 10.1109/ISMVL51352.2021.00039
Jeonggyu Yang, Hyundong Lee, J. Jeong, Tae-Hoon Kim, Sin‐Hyung Lee, Taigon Song
{"title":"A Practical Implementation of the Ternary Logic Using Memristors and MOSFETs","authors":"Jeonggyu Yang, Hyundong Lee, J. Jeong, Tae-Hoon Kim, Sin‐Hyung Lee, Taigon Song","doi":"10.1109/ISMVL51352.2021.00039","DOIUrl":"https://doi.org/10.1109/ISMVL51352.2021.00039","url":null,"abstract":"Due to the impotent forecasts of binary systems, ternary systems are regaining attention. Among many ternary devices, a passive device called memristor that is based on resistance switching is considered a good candidate when integrated with MOSFETs. Therefore, in this paper, we design ternary logic based on memristors and MOSFETs. We highlight the design issues that should be resolved (e.g., signal distortion and high static current) and present practical solutions. To the best of the authors' knowledge, we present 15 novel ternary logic cells and circuitry that include the design of the first balanced ternary full adder (TFA). By our TFA, we visualize that it is possible to design the most practical ternary circuits using memristors and MOSFETs. Our TFA uses 97 transistors and 87 memristors, which is the most reasonable TFA design that has the highest potential to be implemented in the near future.","PeriodicalId":129346,"journal":{"name":"2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129412632","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
Linear orthogonality spaces as a new approach to quantum logic 线性正交空间作为量子逻辑研究的新途径
2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2021-03-25 DOI: 10.1109/ISMVL51352.2021.00015
Kadir Emir, David Kruml, Jan Paseka, T. Vetterlein
{"title":"Linear orthogonality spaces as a new approach to quantum logic","authors":"Kadir Emir, David Kruml, Jan Paseka, T. Vetterlein","doi":"10.1109/ISMVL51352.2021.00015","DOIUrl":"https://doi.org/10.1109/ISMVL51352.2021.00015","url":null,"abstract":"The notion of an orthogonality space was recently rediscovered as an effective means to characterise the essential properties of quantum logic. The approach can be considered as minimalistic; solely the aspect of mutual exclusiveness is taken into account. In fact, an orthogonality space is simply a set endowed with a symmetric and irreflexive binary relation. If the rank is at least 4 and if a certain combinatorial condition holds, these relational structures can be shown to give rise in a unique way to Hermitian spaces. In this paper, we focus on the finite case. In particular, we investigate orthogonality spaces of rank at most 3.","PeriodicalId":129346,"journal":{"name":"2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131707479","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
Welcome from the Symposium Chair 欢迎研讨会主席
2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2019-05-01 DOI: 10.1109/ismvl.2019.00005
Shinobu Nagayama, G. Dueck
{"title":"Welcome from the Symposium Chair","authors":"Shinobu Nagayama, G. Dueck","doi":"10.1109/ismvl.2019.00005","DOIUrl":"https://doi.org/10.1109/ismvl.2019.00005","url":null,"abstract":"It is my pleasure to welcome you to Fredericton, New Brunswick for the 2019 International Symposium on Multiple-Valued Logic! New Brunswick's capital city is rich in culture, history and riverside beauty. Stand in awe at the newly expanded Beaverbrook Art Gallery (where the reception takes place); discover Fredericton’s past in the Historic Garrison District; walk or bike over 90 km of riverside trails; explore the Saint John River by kayak or canoe. Are you a craft beer enthusiast? Fredericton boasts the highest concentration of craft breweries and tasting experiences in the Maritimes.","PeriodicalId":129346,"journal":{"name":"2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL)","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133692002","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
Program Committees 程序委员会
2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 1900-01-01 DOI: 10.1109/ismvl51352.2021.00008
{"title":"Program Committees","authors":"","doi":"10.1109/ismvl51352.2021.00008","DOIUrl":"https://doi.org/10.1109/ismvl51352.2021.00008","url":null,"abstract":"","PeriodicalId":129346,"journal":{"name":"2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL)","volume":"17 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113965234","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
[Copyright notice] (版权)
2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 1900-01-01 DOI: 10.1109/ismvl51352.2021.00003
{"title":"[Copyright notice]","authors":"","doi":"10.1109/ismvl51352.2021.00003","DOIUrl":"https://doi.org/10.1109/ismvl51352.2021.00003","url":null,"abstract":"","PeriodicalId":129346,"journal":{"name":"2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL)","volume":"198 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":"115838250","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
Message from the Program Chair 来自项目主席的信息
2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 1900-01-01 DOI: 10.1109/CW.2005.65
H. Mittal
{"title":"Message from the Program Chair","authors":"H. Mittal","doi":"10.1109/CW.2005.65","DOIUrl":"https://doi.org/10.1109/CW.2005.65","url":null,"abstract":"ACCT 2015, the Fifth International Conference on Advanced Computing & Communication Technologies, will continue to feature comprehensive coverage of traditional and emerging disciplines of Computing, Communication & Control Systems. Researchers and educators will have a unique opportunity to learn about recent advances, get updated on cutting edge applications and techniques, and network with leading researchers.","PeriodicalId":129346,"journal":{"name":"2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL)","volume":"33 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":"129717159","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
Symposium Committees 会议委员会
2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 1900-01-01 DOI: 10.1109/iscbi.2015.7
G. Dueck, Mathias Soeken, N. Homma, Shinobu Nagayama, Masanori Natsui, Takashi Hirayama, M. Kawaguchi, P. Kerntopf, Naoya Onizawa, J. Pantović, Tsutomu Sasao, D. Simovici, Radomir Stanković, B. Steinbach, Mitch Thornton, Tamás Waldhauser
{"title":"Symposium Committees","authors":"G. Dueck, Mathias Soeken, N. Homma, Shinobu Nagayama, Masanori Natsui, Takashi Hirayama, M. Kawaguchi, P. Kerntopf, Naoya Onizawa, J. Pantović, Tsutomu Sasao, D. Simovici, Radomir Stanković, B. Steinbach, Mitch Thornton, Tamás Waldhauser","doi":"10.1109/iscbi.2015.7","DOIUrl":"https://doi.org/10.1109/iscbi.2015.7","url":null,"abstract":" Program Committee Members Luca Amaru, Ecole Polytechnique Fédérale de Lausanne, Switzerland Anupam Chattopadhyay, Nanyang Technological University, Singapore Miguel Couceiro, Université de Lorraine, France Rolf Drechsler, University of Bremen, Germany Gerhard Dueck, University of New Brunswick, Canada Vincent Gaudet, University of Waterloo, Canada Takashi Hirayama, Iwate University, Japan Naofumi Homma, Tohoku University, Japan Mayuka F. Kawaguchi, Hokkaido University, Japan Pawel Kerntopf, Warsaw University of Technology, Poland Martin Lukac, Nazarbayev University, Republic of Kazakhstan Hajime Machida, International Christian University, Japan Felip Manyà, IIIA-CSIC, Spain Michael Miller, University of Victoria, Canada Claudio Moraga, TU Dortmund University, Germany Shinobu Nagayama, Hiroshima City University, Japan Naoya Onizawa, Tohoku University, Japan","PeriodicalId":129346,"journal":{"name":"2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL)","volume":"21 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":"116984292","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
ISMVL2021 Reviewers
2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 1900-01-01 DOI: 10.1109/ismvl51352.2021.00009
{"title":"ISMVL2021 Reviewers","authors":"","doi":"10.1109/ismvl51352.2021.00009","DOIUrl":"https://doi.org/10.1109/ismvl51352.2021.00009","url":null,"abstract":"","PeriodicalId":129346,"journal":{"name":"2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL)","volume":"22 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":"130022353","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学术文献互助群
群 号：604180095
Book学术官方微信