A non-transitive relevant implication corresponding to classical logic consequence

DOI10.26686/AJL.V16I2.5273MaRDI QIDQ5235072zbMATH OpenOpenAlexWikidataFDO

Authors Petr Verdée, Inge De Bal, Aleksandra Samonek

Publication date 7 October 2019

Published in The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.26686/ajl.v16i2.5273

Mathematics Subject Classification ID

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

Recommendations

• What is relevance logic?
• A new approach to classical relevance
• scientific article; zbMATH DE number 4047689
• Natural deduction and sequent calculus for intuitionistic relevant logic
• scientific article; zbMATH DE number 4055572

Cited in

(6)

• Expanding the logic of paradox with a difference-making relevant implication
• scientific article; zbMATH DE number 4097343 (Why is no real title available?)
• A new approach to classical relevance
• Truthmakers and relevance for FDE, LP, K3, and CL
• Coarsening natural deduction proofs. I: Finding perfect proofs
• A hierarchy of relevance properties

This page was built for publication: A non-transitive relevant implication corresponding to classical logic consequence

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