Introduction: directions and new directions

DOI10.1007/978-3-031-69940-5_1MaRDI QIDQ6943396zbMATH OpenFDO

Authors Igor Sedlár, Shawn Standefer, Andrew Tedder

Publication date 13 August 2025

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

Mathematics Subject Classification ID

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

Cites work

• A consecutive calculus for positive relevant implication with necessity
• Abstract algebraic logic. An introductory textbook
• Algebraic methods in philosophical logic
• An alternative semantics for quantified relevant logic
• Begründung einer strengen Implikation
• Core Logic
• Deep fried logic
• scientific article; zbMATH DE number 3891328 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 48206 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Logical pluralism
• Models for entailment
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Negation on the Australian plan
• Relevance logic (to appear)
• Relevance through topical unconnectedness
• Relevant logics: from semantics to proof systems
• Relevant restricted quantification
• Semantics for quantified relevance logic
• Semantics for relevant logics
• The calculus of the compatibility of propositions
• The connectives
• The Logic of Entailment and its History
• The Semantics of First Degree Entailment
• There is more to negation than modality

This page was built for publication: Introduction: directions and new directions

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