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

Journal of Applied Non-Classical Logics最新文献

筛选
英文 中文
Subintuitionistic logics and their modal companions: a nested approach. 次直觉逻辑及其模态同伴：一种嵌套方法。
Journal of Applied Non-Classical Logics Pub Date : 2024-08-03 eCollection Date: 2024-01-01 DOI: 10.1080/11663081.2024.2366756
Matteo Tesi
{"title":"Subintuitionistic logics and their modal companions: a nested approach.","authors":"Matteo Tesi","doi":"10.1080/11663081.2024.2366756","DOIUrl":"https://doi.org/10.1080/11663081.2024.2366756","url":null,"abstract":"<p><p>In the present paper we deal with subintuitionistic logics and their modal companions. In particular, we introduce nested calculi for subintuitionistic systems and for modal logics in the <math><mrow><mi>S</mi> <mn>5</mn></mrow> </math> modal cube ranging from <math><mrow><mi>K</mi></mrow> </math> to <math><mrow><mi>S</mi> <mn>4</mn></mrow> </math> . The latter calculi differ from standard nested systems, as there are multiple rules handling the modal operator. As an upshot, we get a purely syntactic proof of the Gödel-McKinsey-Tarski embedding which preserves the structure and the height of the derivations. Finally, we obtain a conservativity result for classical logic over a weak subintuitionistic system.</p>","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"34 4","pages":"493-526"},"PeriodicalIF":0.0,"publicationDate":"2024-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11737289/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143013448","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Multilattice as the set of truth values for fuzzy rough sets 作为模糊粗糙集真值集合的多网格
Journal of Applied Non-Classical Logics Pub Date : 2024-07-05 DOI: 10.1080/11663081.2024.2373016
G. Nguepy Dongmo, B. B. Koguep Njionou, L. Kwuida, M. Onabid
{"title":"Multilattice as the set of truth values for fuzzy rough sets","authors":"G. Nguepy Dongmo, B. B. Koguep Njionou, L. Kwuida, M. Onabid","doi":"10.1080/11663081.2024.2373016","DOIUrl":"https://doi.org/10.1080/11663081.2024.2373016","url":null,"abstract":"","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":" 7","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141673424","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
Truth diagrams for some non-classical and modal logics 一些非经典逻辑和模态逻辑的真值图
Journal of Applied Non-Classical Logics Pub Date : 2024-07-04 DOI: 10.1080/11663081.2024.2366752
Can Başkent
{"title":"Truth diagrams for some non-classical and modal logics","authors":"Can Başkent","doi":"10.1080/11663081.2024.2366752","DOIUrl":"https://doi.org/10.1080/11663081.2024.2366752","url":null,"abstract":"","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":" 45","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141678117","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
Logics from rough sets 来自粗糙集的逻辑
Journal of Applied Non-Classical Logics Pub Date : 2024-07-02 DOI: 10.1080/11663081.2024.2336616
M. Banerjee, M. K. Chakraborty, Andrzej Szalas
{"title":"Logics from rough sets","authors":"M. Banerjee, M. K. Chakraborty, Andrzej Szalas","doi":"10.1080/11663081.2024.2336616","DOIUrl":"https://doi.org/10.1080/11663081.2024.2336616","url":null,"abstract":"characterises the quasiorder-generated","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"10 24","pages":"171 - 173"},"PeriodicalIF":0.0,"publicationDate":"2024-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141684272","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
Logical mechanisms of tabooing discourse 禁忌话语的逻辑机制
Journal of Applied Non-Classical Logics Pub Date : 2024-06-14 DOI: 10.1080/11663081.2024.2366754
Wojciech Krysztofiak
{"title":"Logical mechanisms of tabooing discourse","authors":"Wojciech Krysztofiak","doi":"10.1080/11663081.2024.2366754","DOIUrl":"https://doi.org/10.1080/11663081.2024.2366754","url":null,"abstract":"","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"8 6","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141344681","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
Crypto-preorders, topological relations, information and logic 密码前序、拓扑关系、信息与逻辑
Journal of Applied Non-Classical Logics Pub Date : 2024-04-17 DOI: 10.1080/11663081.2024.2336374
Piero Pagliani
{"title":"Crypto-preorders, topological relations, information and logic","authors":"Piero Pagliani","doi":"10.1080/11663081.2024.2336374","DOIUrl":"https://doi.org/10.1080/11663081.2024.2336374","url":null,"abstract":"","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":" 30","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140692110","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
Some algebras and logics from quasiorder-generated covering-based approximation spaces 从基于覆盖的近似空间生成的一些准阶代数和逻辑
Journal of Applied Non-Classical Logics Pub Date : 2024-04-09 DOI: 10.1080/11663081.2024.2336384
Arun Kumar, Mohua Banerjee
{"title":"Some algebras and logics from quasiorder-generated covering-based approximation spaces","authors":"Arun Kumar, Mohua Banerjee","doi":"10.1080/11663081.2024.2336384","DOIUrl":"https://doi.org/10.1080/11663081.2024.2336384","url":null,"abstract":"","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"29 12","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140722203","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
Modality-free pre-rough logic 无模态前逻辑
Journal of Applied Non-Classical Logics Pub Date : 2024-04-07 DOI: 10.1080/11663081.2024.2336873
Anirban Saha, Jayanta Sen
{"title":"Modality-free pre-rough logic","authors":"Anirban Saha, Jayanta Sen","doi":"10.1080/11663081.2024.2336873","DOIUrl":"https://doi.org/10.1080/11663081.2024.2336873","url":null,"abstract":"","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"8 24","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140732822","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 study of modal logic with semantics based on rough set theory 基于粗糙集理论语义的模态逻辑研究
Journal of Applied Non-Classical Logics Pub Date : 2024-04-05 DOI: 10.1080/11663081.2024.2336385
Md. Aquil Khan, Ranjan, Amal Talukdar
{"title":"A study of modal logic with semantics based on rough set theory","authors":"Md. Aquil Khan, Ranjan, Amal Talukdar","doi":"10.1080/11663081.2024.2336385","DOIUrl":"https://doi.org/10.1080/11663081.2024.2336385","url":null,"abstract":"","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"54 4","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140736925","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
Granular knowledge and rational approximation in general rough sets – I 一般粗糙集中的细粒知识和合理近似 - I
Journal of Applied Non-Classical Logics Pub Date : 2024-04-03 DOI: 10.1080/11663081.2024.2336387
A. Mani
{"title":"Granular knowledge and rational approximation in general rough sets – I","authors":"A. Mani","doi":"10.1080/11663081.2024.2336387","DOIUrl":"https://doi.org/10.1080/11663081.2024.2336387","url":null,"abstract":"","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"197 2","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140746465","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
下一页 尾页
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学术官方微信