scientific article

zbMATH Open0528.03003MaRDI QIDQ3309802FDOQ3309802

V. G. Kirin

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

deduction theorem

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Cited In (6)

• Title not available (Why is that?)
• Note on deduction theorems in contraction-free logics
• Reflecting rules: a note on generalizing the deduction theorem
• A universal deduction theorem
• Title not available (Why is that?)
• Title not available (Why is that?)

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)