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

The Review of Symbolic Logic最新文献

筛选
英文 中文
Meta-classical Non-classical Logics 元经典非经典逻辑
The Review of Symbolic Logic Pub Date : 2024-05-16 DOI: 10.1017/s175502032400011x
E. Barrio, Camillo Fiore, F. Pailos
{"title":"Meta-classical Non-classical Logics","authors":"E. Barrio, Camillo Fiore, F. Pailos","doi":"10.1017/s175502032400011x","DOIUrl":"https://doi.org/10.1017/s175502032400011x","url":null,"abstract":"Recently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of ‘increasingly classical’ logics—that is, logics that are classical at the level of inferences and of increasingly higher metainferences—all of which admit a transparent truth predicate. In this paper, we extend this line of investigation by taking a somehow different route. We explore logics that are different from classical logic at the level of inferences, but recover some important aspects of classical logic at every metainferential level. We dub such systems meta-classical non-classical logics . We argue that the systems presented deserve to be regarded as logics in their own right and, moreover, are potentially useful for the non-classical logician.","PeriodicalId":509684,"journal":{"name":"The Review of Symbolic Logic","volume":"48 24","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140971051","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
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC MMTL∀ – ERRATUM 单元模糊谓词逻辑 mmtl∀ 的完备性代数证明 - 勘误
The Review of Symbolic Logic Pub Date : 2024-01-15 DOI: 10.1017/s1755020323000394
Juntao Wang, Hongwei Wu, Pengfei He, Yanhong She
{"title":"AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC MMTL∀ – ERRATUM","authors":"Juntao Wang, Hongwei Wu, Pengfei He, Yanhong She","doi":"10.1017/s1755020323000394","DOIUrl":"https://doi.org/10.1017/s1755020323000394","url":null,"abstract":"","PeriodicalId":509684,"journal":{"name":"The Review of Symbolic Logic","volume":" 10","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-01-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139623140","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学术官方微信