scientific article; zbMATH DE number 3837987

MaRDI QIDQ3309802zbMATH OpenFDO

Authors V. G. Kirin

Publication date 1983

zbMATH Keywords

deduction theorem

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Cited in

(6)

• A universal deduction theorem
• Note on deduction theorems in contraction-free logics
• scientific article; zbMATH DE number 5866432 (Why is no real title available?)
• scientific article; zbMATH DE number 5148397 (Why is no real title available?)
• scientific article; zbMATH DE number 1024331 (Why is no real title available?)
• Reflecting rules: a note on generalizing the deduction theorem

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