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

Studies in logic and the foundations of mathematics最新文献

筛选
英文 中文
Symposium on Constructivity in Mathematics: Introductory Remarks 数学建构性研讨会:导言
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(09)70187-9
R. Gandy
{"title":"Symposium on Constructivity in Mathematics: Introductory Remarks","authors":"R. Gandy","doi":"10.1016/S0049-237X(09)70187-9","DOIUrl":"https://doi.org/10.1016/S0049-237X(09)70187-9","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127753226","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
The Logic of Topoi 拓扑逻辑
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(08)71128-5
M. Fourman
{"title":"The Logic of Topoi","authors":"M. Fourman","doi":"10.1016/S0049-237X(08)71128-5","DOIUrl":"https://doi.org/10.1016/S0049-237X(08)71128-5","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126213451","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}
引用次数: 86
Problems and Solutions in the Semantics of Quantified Relevant Logics. I. 量化关联逻辑语义中的问题及解决方法。我。
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(09)70492-6
R. Routley
{"title":"Problems and Solutions in the Semantics of Quantified Relevant Logics. I.","authors":"R. Routley","doi":"10.1016/S0049-237X(09)70492-6","DOIUrl":"https://doi.org/10.1016/S0049-237X(09)70492-6","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126298589","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}
引用次数: 13
On the Grammar of Existential Sentences 论存在句的语法
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(09)70405-7
J. P. Thorne
{"title":"On the Grammar of Existential Sentences","authors":"J. P. Thorne","doi":"10.1016/S0049-237X(09)70405-7","DOIUrl":"https://doi.org/10.1016/S0049-237X(09)70405-7","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126331019","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}
引用次数: 3
Free Sets for Commutative Families of Functions 函数交换族的自由集
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(08)70046-6
U. Abraham
{"title":"Free Sets for Commutative Families of Functions","authors":"U. Abraham","doi":"10.1016/S0049-237X(08)70046-6","DOIUrl":"https://doi.org/10.1016/S0049-237X(08)70046-6","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126404563","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
Algebraically Closed Groups: Embeddings and Centralizers 代数闭群:嵌入与中心化
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(08)71336-3
K. Hickin, A. Macintyre
{"title":"Algebraically Closed Groups: Embeddings and Centralizers","authors":"K. Hickin, A. Macintyre","doi":"10.1016/S0049-237X(08)71336-3","DOIUrl":"https://doi.org/10.1016/S0049-237X(08)71336-3","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125601283","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}
引用次数: 10
On the Notion of Randomness
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(08)70741-9
P. Martin-Löf
{"title":"On the Notion of Randomness","authors":"P. Martin-Löf","doi":"10.1016/S0049-237X(08)70741-9","DOIUrl":"https://doi.org/10.1016/S0049-237X(08)70741-9","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121603056","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}
引用次数: 63
On ω-models which are not β-models ω-模型不是β-模型
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(09)70468-9
A. Mostowski, Y. Suzuki
{"title":"On ω-models which are not β-models","authors":"A. Mostowski, Y. Suzuki","doi":"10.1016/S0049-237X(09)70468-9","DOIUrl":"https://doi.org/10.1016/S0049-237X(09)70468-9","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121772992","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}
引用次数: 14
Restricted Quantification and Conditional Assertion 限制量化与条件断言
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(08)71533-7
N. Belnap
{"title":"Restricted Quantification and Conditional Assertion","authors":"N. Belnap","doi":"10.1016/S0049-237X(08)71533-7","DOIUrl":"https://doi.org/10.1016/S0049-237X(08)71533-7","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115877820","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}
引用次数: 52
Paradoxes of Conglomerability and Fiducial Inference 聚集性悖论与基准推理
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(09)70209-5
Teddy Seidenfeld
{"title":"Paradoxes of Conglomerability and Fiducial Inference","authors":"Teddy Seidenfeld","doi":"10.1016/S0049-237X(09)70209-5","DOIUrl":"https://doi.org/10.1016/S0049-237X(09)70209-5","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115897767","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}
引用次数: 4
首页 上一页
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学术官方微信