scientific article; zbMATH DE number 877753

zbMath0845.03010MaRDI QIDQ4877446

Norman D. Megill, Martin W. Bunder

Publication date: 12 May 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

condensed detachment\(D\)-completenessimplicational logic

Mathematics Subject Classification ID

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

Related Items (1)

A finitely axiomatized formalization of predicate calculus with equality

This page was built for publication: