On two open questions concerning the implicational fragment of R-mingle

zbMATH Open1286.03041MaRDI QIDQ5411444FDOQ5411444

Authors: Dolph Ulrich 

Publication date: 23 April 2014

Full work available at URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/38_12_1.pdf

Recommendations

• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
• An Avron rule for fragments of R-mingle
• Fragments of R-mingle
• Publication:4487375
• scientific article; zbMATH DE number 2024621

zbMATH Keywords

implicational fragmentsingle axiomR-mingle2-basisRM\(\to\)

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (2)

• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
• An Avron rule for fragments of R-mingle

This page was built for publication: On two open questions concerning the implicational fragment of R-mingle

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