Logic in the deep end

, &
Analysis 84 (2):282-291 (2024)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1093/analys/anad060

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic.Albert Visser - 2006 - Notre Dame Journal of Formal Logic 47 (3):299-309.
Depth Relevance and Hyperformalism.Shay Allen Logan - 2022 - Journal of Philosophical Logic 51 (4):721-737.
Proof Invariance.Blane Worley - forthcoming - Australasian Journal of Logic.
Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle.Gemma Robles & José M. Méndez - 2014 - Notre Dame Journal of Formal Logic 55 (1):107-127.
Structural completeness in propositional logics of dependence.Rosalie Iemhoff & Fan Yang - 2016 - Archive for Mathematical Logic 55 (7-8):955-975.
Topic Transparency and Variable Sharing in Weak Relevant Logics.Thomas Macaulay Ferguson & Shay Allen Logan - forthcoming - Erkenntnis:1-28.
Structural Completeness and Superintuitionistic Inquisitive Logics.Thomas Ferguson & Vít Punčochář - 2023 - In Helle Hvid Hansen, Andre Scedrov & Ruy J. G. B. De Queiroz (eds.), Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. Springer Nature Switzerland. pp. 194-210.
Blocking the Routes to Triviality with Depth Relevance.Gemma Robles & José M. Méndez - 2014 - Journal of Logic, Language and Information 23 (4):493-526.
Strong Depth Relevance.Shay Allen Logan - 2021 - Australasian Journal of Logic 18 (6):645-656.
Curry’s Paradox, Generalized Contraction Rule and Depth Relevance.Francisco Salto, Gemma Robles & José M. Méndez - 2018 - In Konstantinos Boudouris (ed.), Proceedings XXIII world Congress Philosophy. Charlottesville: Philosophy Documentation Center. pp. 35-39.

Analytics

Added to PP
2023-11-21

Downloads
184 (#110,199)

6 months
171 (#19,377)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Graham Leach-Krouse
Kansas State University
Shay Logan
Kansas State University
Blane Worley

Citations of this work

No citations found.

Add more citations

References found in this work

Varieties of Relevant S5.Shawn Standefer - 2023 - Logic and Logical Philosophy 32 (1):53–80.
Depth Relevance and Hyperformalism.Shay Allen Logan - 2022 - Journal of Philosophical Logic 51 (4):721-737.
Strong Depth Relevance.Shay Allen Logan - 2021 - Australasian Journal of Logic 18 (6):645-656.
On axiomatizability within a system.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.
Deep Fried Logic.Shay Allen Logan - 2020 - Erkenntnis 87 (1):257-286.

View all 13 references / Add more references