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

Notre Dame Journal of Formal Logic最新文献

筛选
英文 中文
What Problem Did Ladd-Franklin (Think She) Solve(d)? Ladd-Franklin(认为她)解决了什么问题?
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-08-01 DOI: 10.1215/00294527-2021-0026
S. Uckelman
{"title":"What Problem Did Ladd-Franklin (Think She) Solve(d)?","authors":"S. Uckelman","doi":"10.1215/00294527-2021-0026","DOIUrl":"https://doi.org/10.1215/00294527-2021-0026","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74637627","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
Meaningless Divisions 毫无意义的分歧
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-08-01 DOI: 10.1215/00294527-2021-0022
D. Szmuc, T. M. Ferguson
{"title":"Meaningless Divisions","authors":"D. Szmuc, T. M. Ferguson","doi":"10.1215/00294527-2021-0022","DOIUrl":"https://doi.org/10.1215/00294527-2021-0022","url":null,"abstract":"In this article we revisit a number of disputes regarding significance logics—i.e., inferential frameworks capable of handling meaningless, although grammatical, sentences—that took place in a series of articles most of which appeared in the Australasian Journal of Philosophy between 1966 and 1978. These debates concern (i) the way in which logical consequence ought to be approached in the context of a significance logic, and (ii) the way in which the logical vocabulary has to be modified (either by restricting some notions, or by adding some vocabulary) to keep as much of Classical Logic as possible. Our aim is to show that the divisions arising from these disputes can be dissolved in the context of a novel and intuitive proposal that we put forward.","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73563688","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}
引用次数: 6
Generalizing Montague's Theorem on Recursive Definitions 递归定义上蒙太古定理的推广
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-08-01 DOI: 10.1215/00294527-2021-0027
Edoardo Rivello
{"title":"Generalizing Montague's Theorem on Recursive Definitions","authors":"Edoardo Rivello","doi":"10.1215/00294527-2021-0027","DOIUrl":"https://doi.org/10.1215/00294527-2021-0027","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81173679","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
Burden of Henselian Valued Fields in the Denef–Pas Language Denef–Pas语言中Henselian值域的负担
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-05-21 DOI: 10.1215/00294527-2022-0026
Peter Sinclair
{"title":"Burden of Henselian Valued Fields in the Denef–Pas Language","authors":"Peter Sinclair","doi":"10.1215/00294527-2022-0026","DOIUrl":"https://doi.org/10.1215/00294527-2022-0026","url":null,"abstract":"Motivated by the Ax-Kochen/Ershov principle, a large number of questions about henselian valued fields have been shown to reduce to analogous questions about the value group and residue field. In this paper, we investigate the burden of henselian valued fields in the three-sorted Denef-Pas language. If $T$ is a theory of henselian valued fields admitting relative quantifier elimination (in any characteristic), we show that the burden of $T$ is equal to the sum of the burdens of its value group and residue field. As a consequence, $T$ is NTP${}_2$ if and only if its residue field and value group are; the same is true for the statements\"$T$ is strong\"and\"$T$ has finite burden.\"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42213891","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
Definable Continuous Solutions of Linear Equations 线性方程的可定义连续解
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-05-01 DOI: 10.1215/00294527-2021-0019
Saronsad Sokantika, Athipat Thamrongthanyalak
{"title":"Definable Continuous Solutions of Linear Equations","authors":"Saronsad Sokantika, Athipat Thamrongthanyalak","doi":"10.1215/00294527-2021-0019","DOIUrl":"https://doi.org/10.1215/00294527-2021-0019","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74930659","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
Sequent Calculi for Intuitionistic Gödel-Löb Logic 直觉主义的序贯演算Gödel-Löb逻辑
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-05-01 DOI: 10.1215/00294527-2021-0011
I. V. D. Giessen, Rosalie Iemhoff
{"title":"Sequent Calculi for Intuitionistic Gödel-Löb Logic","authors":"I. V. D. Giessen, Rosalie Iemhoff","doi":"10.1215/00294527-2021-0011","DOIUrl":"https://doi.org/10.1215/00294527-2021-0011","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76521433","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}
引用次数: 10
Proof Nets for Classical Logic 经典逻辑的证明网
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-05-01 DOI: 10.1215/00294527-2021-0016
S. Guerrini, A. Masini
{"title":"Proof Nets for Classical Logic","authors":"S. Guerrini, A. Masini","doi":"10.1215/00294527-2021-0016","DOIUrl":"https://doi.org/10.1215/00294527-2021-0016","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73986034","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
Structural Weakening and Paradoxes 结构性弱化和悖论
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-05-01 DOI: 10.1215/00294527-2021-0018
B. Ré
{"title":"Structural Weakening and Paradoxes","authors":"B. Ré","doi":"10.1215/00294527-2021-0018","DOIUrl":"https://doi.org/10.1215/00294527-2021-0018","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73642945","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}
引用次数: 7
Modal Metatheory for Quantified Modal Logic, With and Without the Barcan Formulas 有和没有Barcan公式的量化模态逻辑的模态元理论
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-05-01 DOI: 10.1215/00294527-2021-0015
Andrew J. McCarthy
{"title":"Modal Metatheory for Quantified Modal Logic, With and Without the Barcan Formulas","authors":"Andrew J. McCarthy","doi":"10.1215/00294527-2021-0015","DOIUrl":"https://doi.org/10.1215/00294527-2021-0015","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76197294","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
Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness 自反不敏感逻辑、箱点转换和一般绝对性的模态逻辑
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-05-01 DOI: 10.1215/00294527-2021-0014
D. Gilbert, G. Venturi
{"title":"Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness","authors":"D. Gilbert, G. Venturi","doi":"10.1215/00294527-2021-0014","DOIUrl":"https://doi.org/10.1215/00294527-2021-0014","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84467435","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学术官方微信