\textbf{D}-complete axioms for the classical equivalential calculus

MaRDI QIDQ3435243zbMATH OpenFDO

Authors Dolph Ulrich

Publication date 25 April 2007

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 650883
• scientific article; zbMATH DE number 6538188
• scientific article; zbMATH DE number 5147179
• Note on D-completeness and prelinearity
• Shortest single axioms for the equivalential calculus with CD and RCD

Cited in

(4)

• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
• scientific article; zbMATH DE number 650883 (Why is no real title available?)
• scientific article; zbMATH DE number 5147179 (Why is no real title available?)
• Note on D-completeness and prelinearity

This page was built for publication: \textbf{D}-complete axioms for the classical equivalential calculus

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