A rejection system for the first-degree formulae of some relevant logics

zbMATH Open1173.03020MaRDI QIDQ3629239FDOQ3629239

Authors: Ross T. Brady 

Publication date: 27 May 2009

Recommendations

• scientific article; zbMATH DE number 1163928
• Refutation systems for a system of nonsense-logic
• Logics of rejection: Two systems of natural deduction
• scientific article; zbMATH DE number 804147
• Rejected axioms for the ``nonsense-logic W and the \(k\)-valued logic of Sobociński

zbMATH Keywords

relevant logicfirst-degree formulasrejection logic

Mathematics Subject Classification ID

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

Cited In (6)

• Refutation systems for a system of nonsense-logic
• Rejection and truth-value gaps
• Title not available (Why is that?)
• Logics of rejection: Two systems of natural deduction
• Paraconsistency in classical logic
• METAVALUATIONS

This page was built for publication: A rejection system for the first-degree formulae of some relevant logics

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