A universal deduction theorem

MaRDI QIDQ2751830zbMATH OpenFDO

Authors E. A. Sidorenko

Publication date 23 January 2002

zbMATH Keywords

deduction theoremmodus ponens

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Recommendations

• A proof-theoretic universal property of determiners
• scientific article; zbMATH DE number 5866432
• scientific article; zbMATH DE number 3837987
• scientific article; zbMATH DE number 3296223
• A proof theory for general unification
• Deduction theorem in congruential modal logics
• Universality of logic
• scientific article; zbMATH DE number 698628
• scientific article; zbMATH DE number 2144728
• Universal Induction and True Universal Arithmetic

Cited in

(4)

• The ubiquitous axiom
• scientific article; zbMATH DE number 5866432 (Why is no real title available?)
• scientific article; zbMATH DE number 2068677 (Why is no real title available?)
• scientific article; zbMATH DE number 7180028 (Why is no real title available?)

This page was built for publication: A universal deduction theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2751830)