深入浅出的逻辑

IF 16.4 1区化学 Q1 CHEMISTRY, MULTIDISCIPLINARY

Accounts of Chemical Research Pub Date : 2024-01-08 DOI:10.1093/analys/anad060

Graham Leach-Krouse, Shay Allen Logan, Blane Worley

引用次数: 0

摘要

足够弱的相关逻辑通常在深度替换下是封闭的。为了确定具有这一特征的逻辑的广度，我们证明存在一个在深度置换下封闭的 R 的最大子逻辑，并且这一逻辑可以被递归公理化。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Logic in the deep end

Weak enough relevant logics are often closed under depth substitutions. To determine the breadth of logics with this feature, we show there is a largest sublogic of R closed under depth substitutions and that this logic can be recursively axiomatized.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Accounts of Chemical Research 化学-化学综合

CiteScore

31.40

自引率

1.10%

发文量

312

审稿时长

2 months

期刊介绍： Accounts of Chemical Research presents short, concise and critical articles offering easy-to-read overviews of basic research and applications in all areas of chemistry and biochemistry. These short reviews focus on research from the author’s own laboratory and are designed to teach the reader about a research project. In addition, Accounts of Chemical Research publishes commentaries that give an informed opinion on a current research problem. Special Issues online are devoted to a single topic of unusual activity and significance. Accounts of Chemical Research replaces the traditional article abstract with an article "Conspectus." These entries synopsize the research affording the reader a closer look at the content and significance of an article. Through this provision of a more detailed description of the article contents, the Conspectus enhances the article's discoverability by search engines and the exposure for the research.