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

Studia Logica最新文献

筛选
英文 中文
Stefano Bonzio, Francesco Paoli, Michele Pra Baldi, Logics of Variable Inclusion, vol. 59 of Trends in Logic, Springer, 2022, pp. 221+x; ISBN: 978-3-031-04296-6 (Hardcover) 106.99€, ISBN: 978-3-031-04299-7 (eBook) 85.59€. Stefano Bonzio, Francesco Paoli, Michele Pra Baldi，变量包含的逻辑，逻辑趋势，Springer, 2022，第59卷，221+x;ISBN: 978-3-031-04296-6(精装)106.99€，ISBN: 978-3-031-04299-7(电子书)85.59€。
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-01-12 DOI: 10.1007/s11225-022-10031-4
Nico Zamperlin
{"title":"Stefano Bonzio, Francesco Paoli, Michele Pra Baldi, Logics of Variable Inclusion, vol. 59 of Trends in Logic, Springer, 2022, pp. 221+x; ISBN: 978-3-031-04296-6 (Hardcover) 106.99€, ISBN: 978-3-031-04299-7 (eBook) 85.59€.","authors":"Nico Zamperlin","doi":"10.1007/s11225-022-10031-4","DOIUrl":"https://doi.org/10.1007/s11225-022-10031-4","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"38 1","pages":"521 - 524"},"PeriodicalIF":0.7,"publicationDate":"2023-01-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75507070","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Sub-Hilbert Lattices Sub-Hilbert晶格
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-01-03 DOI: 10.1007/s11225-022-10020-7
J. L. Castiglioni, V. Fernández, H. F. Mallea, H. J. San Martín
{"title":"Sub-Hilbert Lattices","authors":"J. L. Castiglioni, V. Fernández, H. F. Mallea, H. J. San Martín","doi":"10.1007/s11225-022-10020-7","DOIUrl":"https://doi.org/10.1007/s11225-022-10020-7","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"46 1","pages":"1-22"},"PeriodicalIF":0.7,"publicationDate":"2023-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77344944","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
On Heyting Algebras with Negative Tense Operators 关于负时态算子的Heyting代数
IF 0.7 3区 数学
Studia Logica Pub Date : 2022-12-23 DOI: 10.1007/s11225-023-10053-6
Federico Almiñana, G. Pelaitay, William Zuluaga
{"title":"On Heyting Algebras with Negative Tense Operators","authors":"Federico Almiñana, G. Pelaitay, William Zuluaga","doi":"10.1007/s11225-023-10053-6","DOIUrl":"https://doi.org/10.1007/s11225-023-10053-6","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"97 1","pages":"1015 - 1036"},"PeriodicalIF":0.7,"publicationDate":"2022-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73613446","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Elimination of Maximum Cuts in Linear Logic and BCK Logic 线性逻辑和BCK逻辑中最大割的消去
IF 0.7 3区 数学
Studia Logica Pub Date : 2022-12-15 DOI: 10.1007/s11225-022-10023-4
M. Borisavljevic
{"title":"The Elimination of Maximum Cuts in Linear Logic and BCK Logic","authors":"M. Borisavljevic","doi":"10.1007/s11225-022-10023-4","DOIUrl":"https://doi.org/10.1007/s11225-022-10023-4","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"45 1","pages":"391 - 429"},"PeriodicalIF":0.7,"publicationDate":"2022-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78326700","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics Kapsner互补:对Kapsner强逻辑的代数理解
IF 0.7 3区 数学
Studia Logica Pub Date : 2022-11-25 DOI: 10.1007/s11225-022-10025-2
A. Tedder
{"title":"Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics","authors":"A. Tedder","doi":"10.1007/s11225-022-10025-2","DOIUrl":"https://doi.org/10.1007/s11225-022-10025-2","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"1 1","pages":"321-352"},"PeriodicalIF":0.7,"publicationDate":"2022-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88824770","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics 二值和三值真值语义的量化论证演算
IF 0.7 3区 数学
Studia Logica Pub Date : 2022-11-25 DOI: 10.1007/s11225-022-10022-5
Hongkai Yin, Hanoch Ben-Yami
{"title":"The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics","authors":"Hongkai Yin, Hanoch Ben-Yami","doi":"10.1007/s11225-022-10022-5","DOIUrl":"https://doi.org/10.1007/s11225-022-10022-5","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"13 1","pages":"281-320"},"PeriodicalIF":0.7,"publicationDate":"2022-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82123951","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices 弱一元剩余分配格与弱一元c-微分剩余分配格的范畴等价
IF 0.7 3区 数学
Studia Logica Pub Date : 2022-11-25 DOI: 10.1007/s11225-022-10026-1
Jun Tao Wang, Yanhong She, Pengfei He, NaNa Ma
{"title":"On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices","authors":"Jun Tao Wang, Yanhong She, Pengfei He, NaNa Ma","doi":"10.1007/s11225-022-10026-1","DOIUrl":"https://doi.org/10.1007/s11225-022-10026-1","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"49 1","pages":"361 - 390"},"PeriodicalIF":0.7,"publicationDate":"2022-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75704907","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Infinitary Action Logic with Multiplexing 具有多路复用的无限动作逻辑
IF 0.7 3区 数学
Studia Logica Pub Date : 2022-11-21 DOI: 10.1007/s11225-022-10021-6
S. Kuznetsov, S. O. Speranski
{"title":"Infinitary Action Logic with Multiplexing","authors":"S. Kuznetsov, S. O. Speranski","doi":"10.1007/s11225-022-10021-6","DOIUrl":"https://doi.org/10.1007/s11225-022-10021-6","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"1 1","pages":"251-280"},"PeriodicalIF":0.7,"publicationDate":"2022-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76811267","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Finite Model Property in Weakly Transitive Tense Logics 弱传递时态逻辑中的有限模型性质
IF 0.7 3区 数学
Studia Logica Pub Date : 2022-11-15 DOI: 10.1007/s11225-022-10027-0
Minghui Ma, Qiang Chen
{"title":"Finite Model Property in Weakly Transitive Tense Logics","authors":"Minghui Ma, Qiang Chen","doi":"10.1007/s11225-022-10027-0","DOIUrl":"https://doi.org/10.1007/s11225-022-10027-0","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"71 1","pages":"217-250"},"PeriodicalIF":0.7,"publicationDate":"2022-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91376563","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces 域与插值广义闭包空间之间的范畴等价
IF 0.7 3区 数学
Studia Logica Pub Date : 2022-11-15 DOI: 10.1007/s11225-022-10024-3
Longchun Wang, Qingguo Li
{"title":"The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces","authors":"Longchun Wang, Qingguo Li","doi":"10.1007/s11225-022-10024-3","DOIUrl":"https://doi.org/10.1007/s11225-022-10024-3","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"9 1","pages":"187-215"},"PeriodicalIF":0.7,"publicationDate":"2022-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78399831","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页
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学术官方微信