Bulletin of Symbolic Logic最新文献

筛选
英文 中文
Proof-Theoretical System for Predicate Logic: ∏πφ= 谓词逻辑的证明理论系统:∏πφ=
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2022-01-01 DOI: 10.1007/978-3-030-67396-3_8
Odysseus Makridis
{"title":"Proof-Theoretical System for Predicate Logic: ∏πφ=","authors":"Odysseus Makridis","doi":"10.1007/978-3-030-67396-3_8","DOIUrl":"https://doi.org/10.1007/978-3-030-67396-3_8","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"130 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85761907","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
Formal Predicate Logic (also called First-Order Logic) ∏ 形式谓词逻辑(也称为一阶逻辑)∏
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2022-01-01 DOI: 10.1007/978-3-030-67396-3_5
Odysseus Makridis
{"title":"Formal Predicate Logic (also called First-Order Logic) ∏","authors":"Odysseus Makridis","doi":"10.1007/978-3-030-67396-3_5","DOIUrl":"https://doi.org/10.1007/978-3-030-67396-3_5","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"5 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90178203","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
Sentential Logic Languages ∑ 句子逻辑语言∑
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2022-01-01 DOI: 10.1007/978-3-030-67396-3_4
Odysseus Makridis
{"title":"Sentential Logic Languages ∑","authors":"Odysseus Makridis","doi":"10.1007/978-3-030-67396-3_4","DOIUrl":"https://doi.org/10.1007/978-3-030-67396-3_4","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"57 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86797616","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
Semantic Models for ∏: ∏⧉ ∏的语义模型:∏<e:1>
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2022-01-01 DOI: 10.1007/978-3-030-67396-3_7
Odysseus Makridis
{"title":"Semantic Models for ∏: ∏⧉","authors":"Odysseus Makridis","doi":"10.1007/978-3-030-67396-3_7","DOIUrl":"https://doi.org/10.1007/978-3-030-67396-3_7","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"108 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75829023","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
Formal Logic of Sentences, Sentential Logic (also called Sentential Logic and Statement Logic) 句子的形式逻辑、句子逻辑(也叫句子逻辑和语句逻辑)
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2022-01-01 DOI: 10.1007/978-3-030-67396-3_3
Odysseus Makridis
{"title":"Formal Logic of Sentences, Sentential Logic (also called Sentential Logic and Statement Logic)","authors":"Odysseus Makridis","doi":"10.1007/978-3-030-67396-3_3","DOIUrl":"https://doi.org/10.1007/978-3-030-67396-3_3","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"32 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75000212","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
Concepts of Deductive Reasoning 演绎推理的概念
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2022-01-01 DOI: 10.1007/978-3-030-67396-3_2
Odysseus Makridis
{"title":"Concepts of Deductive Reasoning","authors":"Odysseus Makridis","doi":"10.1007/978-3-030-67396-3_2","DOIUrl":"https://doi.org/10.1007/978-3-030-67396-3_2","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"91 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81608783","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
Translations from English into ∏πφ= (also called Symbolizations, Formalizations) πφ=(又称Symbolizations, Formalizations)
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2022-01-01 DOI: 10.1007/978-3-030-67396-3_6
Odysseus Makridis
{"title":"Translations from English into ∏πφ= (also called Symbolizations, Formalizations)","authors":"Odysseus Makridis","doi":"10.1007/978-3-030-67396-3_6","DOIUrl":"https://doi.org/10.1007/978-3-030-67396-3_6","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"31 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87015830","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
Basics of Set Theory 集合论基础
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2022-01-01 DOI: 10.1007/978-3-030-67396-3_10
Odysseus Makridis
{"title":"Basics of Set Theory","authors":"Odysseus Makridis","doi":"10.1007/978-3-030-67396-3_10","DOIUrl":"https://doi.org/10.1007/978-3-030-67396-3_10","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"42 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81123581","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
Filling cages. Reverse mathematics and combinatorial principles 填充的笼子里。逆向数学和组合原理
IF 0.6 3区 数学
Bulletin of Symbolic Logic Pub Date : 2020-01-01 DOI: 10.1017/bsl.2020.39
Marta Fiori-Carones
{"title":"Filling cages. Reverse mathematics and combinatorial principles","authors":"Marta Fiori-Carones","doi":"10.1017/bsl.2020.39","DOIUrl":"https://doi.org/10.1017/bsl.2020.39","url":null,"abstract":"","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"63 1","pages":"300"},"PeriodicalIF":0.6,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79503469","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 nutritional approach to microbiota in Parkinson's disease. 帕金森病微生物群的营养学方法。
IF 3.1 3区 数学
Bulletin of Symbolic Logic Pub Date : 2019-01-01 Epub Date: 2019-06-29 DOI: 10.12938/bmfh.19-002
Gizem Özata Uyar, Hilal Yildiran
{"title":"A nutritional approach to microbiota in Parkinson's disease.","authors":"Gizem Özata Uyar, Hilal Yildiran","doi":"10.12938/bmfh.19-002","DOIUrl":"10.12938/bmfh.19-002","url":null,"abstract":"<p><p>Parkinson's disease (PD) is a neurodegenerative disease characterized by motor impairment and the accumulation of alpha-synucleinopathy (α-syn), which can affect different levels of the brain-gut axis. There is a two-way communication between the gastrointestinal tract, and brain that includes the gut microbiota. This bidirectional communication between the gut microbiota and the brain includes many pathways, such as immune mechanisms, the vagus nerve, and microbial neurometabolite production. The common cause of constipation in PD is thought to be the accumulation of α-syn proteins in the enteric nervous system. Recent studies have focused on changes in microbial metabolites and gut microbiota dysbiosis. Microbiota dysbiosis is associated with increased intestinal permeability, intestinal inflammation, and neuroinflammation. Many factors, such as unbalanced nutrition, antibiotic use, age, and infection, result in alteration of microbial metabolites, triggering α-syn accumulation in the intestinal mucosa cells. Increased evidence indicates that the amount, type, and balance of dietary macronutrients (carbohydrates, proteins, and fats); high consumption of vegetables, fruits, and omega-3 fatty acids; and healthy diet patterns such as the Mediterranean diet may have a great protective impact on PD. This review focuses on the potential benefits of prebiotics, probiotics, and synbiotics to regulate microbiota dysbiosis along with the effect of diet on the gut microbiota in PD.</p>","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"10 1","pages":"115-127"},"PeriodicalIF":3.1,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6856517/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90321753","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","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学术官方微信