scientific article; zbMATH DE number 1463254

MaRDI QIDQ4487375zbMATH OpenFDO

Authors

Publication date 21 June 2000

zbMATH Keywords

exhaustive axiomatizationimplication fragmentrelevance logicrestricted mingle principles

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4041868
• A constructive analysis of RM
• The compatibility of relevance and mingle
• Relevance and paraconsistency - a new approach. II: The formal systems
• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems

Cited in

(6)

• Some locally tabular logics with contraction and mingle
• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
• scientific article; zbMATH DE number 4041868 (Why is no real title available?)
• scientific article; zbMATH DE number 4063062 (Why is no real title available?)
• scientific article; zbMATH DE number 2024621 (Why is no real title available?)
• On two open questions concerning the implicational fragment of R-mingle

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 Q4487375)