scientific article; zbMATH DE number 2019868

MaRDI QIDQ4440564zbMATH OpenFDO

Authors Robert K. Meyer, John K. Slaney

Publication date 8 March 2004

zbMATH Keywords

distributionlinear logicnormal form

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4135919
• On the algebraizability of the implicational fragment of abelian logic
• scientific article; zbMATH DE number 1950262
• An abelian rule for BCI -- and variations
• Logic and groups

Cited in

(8)

• AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920)
• Expanding the Realm of Systematic Proof Theory
• Consistent theories in inconsistent logics
• Revisiting Reichenbach's logic
• Relevant consequence relations: an invitation
• Proof theory of abelian connexive logics
• An easy road to multi-contra-classicality
• Proof-theoretic analysis of subabelian lattice logic

This page was built for publication:

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