scientific article; zbMATH DE number 6538188

MaRDI QIDQ3466593zbMATH OpenFDO

Authors Robert K. Meyer, Martin W. Bunder

Publication date 1 February 2016

Full work available at URL http://ojs.victoria.ac.nz/ajl/article/view/1810/1660

zbMATH Keywords

D-completenessimplicational logicrelevant logic

Mathematics Subject Classification ID

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

Recommendations

• T W completeness
• Completeness theorem for Dummett's LC quantified and some of its extensions
• D-completions and the \(d\)-topology
• The completeness of the formal deductive system \(\mathcal{L}^*(n)\)
• scientific article; zbMATH DE number 1231516
• Completeness theorems via the double dual functor
• Typed Lambda Calculi and Applications
• On completeness of dynamic topological logic
• scientific article; zbMATH DE number 1497801
• Note on D-completeness and prelinearity

Cited in

(5)

• Condensed detachment is complete for relevance logic: A computer-aided proof
• \textbf{D}-complete axioms for the classical equivalential calculus
• Completeness of implicational relevant logics
• scientific article; zbMATH DE number 877753 (Why is no real title available?)
• Note on D-completeness and prelinearity

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