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

zbMATH Open1117.03017MaRDI QIDQ3435243FDOQ3435243

Authors: Dolph Ulrich 

Publication date: 25 April 2007

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

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)

Cited In (4)

• Note on D-completeness and prelinearity
• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
• Title not available (Why is that?)
• Title not available (Why is that?)

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)