Logic in the deep end

DOI10.1093/ANALYS/ANAD060MaRDI QIDQ6836298zbMATH OpenFDO

Authors Graham Leach-Krouse, Shay Allen Logan, Blane Worley

Publication date 27 March 2026

Published in Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/ANALYS/ANAD060

zbMATH Keywords

depth relevancedepth substitutiondepth substitutionshyperformalismRrecursive axiomatizationrelevance logicrelevant logicvariable sharing

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites work

• A class of simpler logical matrices for the variable-sharing property
• A content semantics for quantified relevant logics. I
• A content semantics for quantified relevant logics. II
• A general characterization of the variable-sharing property by means of logical matrices
• Correction to: ``Depth relevance and hyperformalism
• Craig’s trick and a non-sequential system for the Lambek calculus and its fragments
• Deep fried logic
• Depth relevance and hyperformalism
• Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
• scientific article; zbMATH DE number 4130376 (Why is no real title available?)
• On axiomatizability within a system
• Strong depth relevance
• Varieties of Relevant S5

Cited in

(2)

• Topics, non-uniform substitutions, and variable sharing
• Hyperformalism for bunched natural deduction systems

This page was built for publication: Logic in the deep end

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6836298)