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

Outstanding Contributions to Logic最新文献

筛选
英文 中文
A Negative Solution to Ono’s Problem P52: Existence and Disjunction Properties in Intermediate Predicate Logics Ono问题P52的一个负解:中间谓词逻辑的存在性和析取性
Outstanding Contributions to Logic Pub Date : 2021-12-14 DOI: 10.1007/978-3-030-76920-8_9
Nobu-Yuki Suzuki
{"title":"A Negative Solution to Ono’s Problem P52: Existence and Disjunction Properties in Intermediate Predicate Logics","authors":"Nobu-Yuki Suzuki","doi":"10.1007/978-3-030-76920-8_9","DOIUrl":"https://doi.org/10.1007/978-3-030-76920-8_9","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128255518","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
Abstract Algebraic Logic 抽象代数逻辑
Outstanding Contributions to Logic Pub Date : 2021-12-14 DOI: 10.1007/978-3-030-76920-8_3
J. M. Font
{"title":"Abstract Algebraic Logic","authors":"J. M. Font","doi":"10.1007/978-3-030-76920-8_3","DOIUrl":"https://doi.org/10.1007/978-3-030-76920-8_3","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117133808","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
Conservative Expansions of Substructural Logics 子结构逻辑的保守展开
Outstanding Contributions to Logic Pub Date : 2021-12-14 DOI: 10.1007/978-3-030-76920-8_10
Jacopo Amidei, Rodolfo C. Ertola-Biraben, F. Montagna
{"title":"Conservative Expansions of Substructural Logics","authors":"Jacopo Amidei, Rodolfo C. Ertola-Biraben, F. Montagna","doi":"10.1007/978-3-030-76920-8_10","DOIUrl":"https://doi.org/10.1007/978-3-030-76920-8_10","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133556596","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 Scientific Autobiography 科学自传
Outstanding Contributions to Logic Pub Date : 2021-12-14 DOI: 10.1007/978-3-030-76920-8_1
Hiroaki Ono
{"title":"A Scientific Autobiography","authors":"Hiroaki Ono","doi":"10.1007/978-3-030-76920-8_1","DOIUrl":"https://doi.org/10.1007/978-3-030-76920-8_1","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130995052","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
Topological Duality and Algebraic Completions 拓扑对偶性与代数补全
Outstanding Contributions to Logic Pub Date : 2021-12-14 DOI: 10.1007/978-3-030-76920-8_4
M. Gehrke
{"title":"Topological Duality and Algebraic Completions","authors":"M. Gehrke","doi":"10.1007/978-3-030-76920-8_4","DOIUrl":"https://doi.org/10.1007/978-3-030-76920-8_4","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"195 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121062757","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
Recognizability in Residuated Lattices 残差格的可识别性
Outstanding Contributions to Logic Pub Date : 2021-12-14 DOI: 10.1007/978-3-030-76920-8_6
J. Gil-Férez, C. Tsinakis
{"title":"Recognizability in Residuated Lattices","authors":"J. Gil-Férez, C. Tsinakis","doi":"10.1007/978-3-030-76920-8_6","DOIUrl":"https://doi.org/10.1007/978-3-030-76920-8_6","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123690974","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
Finite Embeddability Property for Residuated Lattices via Regular Languages 正则语言残馀格的有限嵌入性
Outstanding Contributions to Logic Pub Date : 2021-12-14 DOI: 10.1007/978-3-030-76920-8_7
Rostislav Horcík
{"title":"Finite Embeddability Property for Residuated Lattices via Regular Languages","authors":"Rostislav Horcík","doi":"10.1007/978-3-030-76920-8_7","DOIUrl":"https://doi.org/10.1007/978-3-030-76920-8_7","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130706933","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
Universal Algebraic Methods for Non-classical Logics 非经典逻辑的通用代数方法
Outstanding Contributions to Logic Pub Date : 2021-12-14 DOI: 10.1007/978-3-030-76920-8_2
J. Raftery
{"title":"Universal Algebraic Methods for Non-classical Logics","authors":"J. Raftery","doi":"10.1007/978-3-030-76920-8_2","DOIUrl":"https://doi.org/10.1007/978-3-030-76920-8_2","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"31 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132349039","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
Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality 具有实际存在谓词的动态接触代数:快照表示和拓扑对偶
Outstanding Contributions to Logic Pub Date : 2021-09-25 DOI: 10.1007/978-3-030-71430-7_16
D. Vakarelov
{"title":"Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality","authors":"D. Vakarelov","doi":"10.1007/978-3-030-71430-7_16","DOIUrl":"https://doi.org/10.1007/978-3-030-71430-7_16","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129847922","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
Application of Urquhart’s Representation of Lattices to Some Non–classical Logics Urquhart格表示在非经典逻辑中的应用
Outstanding Contributions to Logic Pub Date : 2021-09-25 DOI: 10.1007/978-3-030-71430-7_13
I. Düntsch, E. Orlowska
{"title":"Application of Urquhart’s Representation of Lattices to Some Non–classical Logics","authors":"I. Düntsch, E. Orlowska","doi":"10.1007/978-3-030-71430-7_13","DOIUrl":"https://doi.org/10.1007/978-3-030-71430-7_13","url":null,"abstract":"","PeriodicalId":137439,"journal":{"name":"Outstanding Contributions to Logic","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126429094","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学术官方微信