A topic-theoretic perspective on variable-sharing (from the black sheep of the family)

DOI10.1007/978-3-031-69940-5_3MaRDI QIDQ6943394zbMATH OpenFDO

Authors Thomas Macaulay Ferguson

Publication date 13 August 2025

Full work available at URL https://doi.org/10.1007/978-3-031-69940-5_3

Mathematics Subject Classification ID

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

Cites work

• A modification of Parry's analytic implication
• A note on the signed occurrences of propositional variables
• A semantical theory of analytic implication
• Analytic implication
• Constructible falsity
• Core Logic
• Depth relevance of some paraconsistent logics
• Ein Axiomensystem für eine neue Art von Implikation (analytische Implikation).
• Entailment and relevance¹
• Faulty Belnap computers and subsystems of FDE
• scientific article; zbMATH DE number 4200171 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• Logics of synonymy
• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
• Pure Refined Variable Inclusion Logics
• Strong depth relevance
• The connectives
• Topics of Thought

Cited in

(1)

• Topics, non-uniform substitutions, and variable sharing

This page was built for publication: A topic-theoretic perspective on variable-sharing (from the black sheep of the family)

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