Logic in the deep end

IF 1.1 1区哲学 0 PHILOSOPHY

ANALYSIS Pub Date : 2024-01-08 DOI:10.1093/analys/anad060

Graham Leach-Krouse, Shay Allen Logan, Blane Worley

引用次数: 0

Abstract

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.

查看原文本刊更多论文

深入浅出的逻辑

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

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

求助全文

约1分钟内获得全文求助全文

来源期刊

ANALYSIS PHILOSOPHY-

CiteScore

1.30

自引率

12.50%

发文量

期刊介绍： Analysis is the most established and esteemed forum in which to publish short discussions of topics in philosophy. Articles published in Analysis lend themselves to the presentation of cogent but brief arguments for substantive conclusions, and often give rise to discussions which continue over several interchanges. A wide range of topics are covered including: philosophical logic and philosophy of language, metaphysics, epistemology, philosophy of mind, and moral philosophy.