Topics, non-uniform substitutions, and variable sharing

DOI10.1017/S1755020325100725MaRDI QIDQ6873538zbMATH OpenFDO

Authors Shawn Standefer, Shay Allen Logan, Thomas Macaulay Ferguson

Publication date 16 January 2026

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1755020325100725

zbMATH Keywords

non-uniform substitutionsrelevancetopicsvariable sharing

Mathematics Subject Classification ID

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

Cites work

• A general characterization of the variable-sharing property by means of logical matrices
• A topic-theoretic perspective on variable-sharing (from the black sheep of the family)
• Angellic content
• Correction to: ``Depth relevance and hyperformalism
• Depth relevance and hyperformalism
• Depth relevance of some paraconsistent logics
• Dunn-Priest quotients of many-valued structures
• Entailment and relevance¹
• For Want of an ‘And’: A Puzzle about Non-Conservative Extension
• Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• Logic in the deep end
• Logical forms, substitutions and information types
• Neighbourhood semantics for modal relevant logics
• Philosophy of logic
• Proof invariance
• Relevance logic (to appear)
• Simplified semantics for basic relevant logics
• Strong depth relevance
• Subject-matter and intensional operators. II: Applications to the theory of topic-sensitive intentional modals
• Subject-matter and intensional operators. III: State-sensitive subject-matter and topic sufficiency
• Subject-matter and intensional operators. IV: Left and right topic sufficiency
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• Ticket entailment plus the mingle axiom has the variable-sharing property
• Topics of Thought
• Tracking reasons with extensions of relevant logics
• Variable-sharing as relevance
• Weak relevant justification logics

This page was built for publication: Topics, non-uniform substitutions, and variable sharing

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