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

Studia Logica最新文献

筛选
英文 中文
Hyperintensionality and Fine-Grained Semantics 高密集性和细粒度语义
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-08-10 DOI: 10.1007/s11225-023-10061-6
Aleksander Parol
{"title":"Hyperintensionality and Fine-Grained Semantics","authors":"Aleksander Parol","doi":"10.1007/s11225-023-10061-6","DOIUrl":"https://doi.org/10.1007/s11225-023-10061-6","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-08-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75771843","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
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth 从贝尔纳普-邓恩四值逻辑到证据与真理的六值逻辑
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-08-09 DOI: 10.1007/s11225-023-10062-5
M. Coniglio, A. Rodrigues
{"title":"From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth","authors":"M. Coniglio, A. Rodrigues","doi":"10.1007/s11225-023-10062-5","DOIUrl":"https://doi.org/10.1007/s11225-023-10062-5","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76020560","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
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains 对偶奇对合可交换剩余链的群表示的修正
3区 数学
Studia Logica Pub Date : 2023-08-03 DOI: 10.1007/s11225-023-10059-0
Sándor Jenei
{"title":"Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains","authors":"Sándor Jenei","doi":"10.1007/s11225-023-10059-0","DOIUrl":"https://doi.org/10.1007/s11225-023-10059-0","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136327654","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
The Elimination of Direct Self-reference 消除直接自我参照
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-08-03 DOI: 10.1007/s11225-023-10060-7
Qianli Zeng, Ming Hsiung
{"title":"The Elimination of Direct Self-reference","authors":"Qianli Zeng, Ming Hsiung","doi":"10.1007/s11225-023-10060-7","DOIUrl":"https://doi.org/10.1007/s11225-023-10060-7","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80054284","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
A Simple Way to Overcome Hyperconnexivity 克服超连接的简单方法
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-07-05 DOI: 10.1007/s11225-023-10056-3
A. Belikov
{"title":"A Simple Way to Overcome Hyperconnexivity","authors":"A. Belikov","doi":"10.1007/s11225-023-10056-3","DOIUrl":"https://doi.org/10.1007/s11225-023-10056-3","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85389090","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
Executability and Connexivity in an Interpretation of Griss 《格里斯》解读中的可执行性与连通性
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-07-05 DOI: 10.1007/s11225-023-10055-4
T. M. Ferguson
{"title":"Executability and Connexivity in an Interpretation of Griss","authors":"T. M. Ferguson","doi":"10.1007/s11225-023-10055-4","DOIUrl":"https://doi.org/10.1007/s11225-023-10055-4","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78457348","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
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals 连接逻辑，概率默认推理和复合条件
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-06-29 DOI: 10.1007/s11225-023-10054-5
N. Pfeifer, G. Sanfilippo
{"title":"Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals","authors":"N. Pfeifer, G. Sanfilippo","doi":"10.1007/s11225-023-10054-5","DOIUrl":"https://doi.org/10.1007/s11225-023-10054-5","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74086042","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}
引用次数: 3
An Algebraic Investigation of the Connexive Logic $$textsf{C}$$ 连接逻辑的代数研究 $$textsf{C}$$
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-06-21 DOI: 10.1007/s11225-023-10057-2
D. Fazio, S. Odintsov
{"title":"An Algebraic Investigation of the Connexive Logic $$textsf{C}$$","authors":"D. Fazio, S. Odintsov","doi":"10.1007/s11225-023-10057-2","DOIUrl":"https://doi.org/10.1007/s11225-023-10057-2","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82669048","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
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in NExtK4.3documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{documen NExtK4.3documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amssyb} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-06-19 DOI: 10.1007/s11225-023-10046-5
Ming Xu
{"title":"FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in NExtK4.3documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{documen","authors":"Ming Xu","doi":"10.1007/s11225-023-10046-5","DOIUrl":"https://doi.org/10.1007/s11225-023-10046-5","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90828940","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
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic 命题非自由线性时间时间逻辑的可反驳根岑式演算
IF 0.7 3区 数学
Studia Logica Pub Date : 2023-06-14 DOI: 10.1007/s11225-023-10052-7
N. Kamide
{"title":"Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic","authors":"N. Kamide","doi":"10.1007/s11225-023-10052-7","DOIUrl":"https://doi.org/10.1007/s11225-023-10052-7","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81270467","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
首页 上一页 下一页 尾页
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学术官方微信