Method of invariant transformations and logical deduction

DOI10.1007/BF01139547MaRDI QIDQ759745zbMATH OpenFDO

Authors A. B. Nikolenko

Publication date 1984

Published in Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

contraction rulestrong embeddingautomatic deductionsderivable formula

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4029505
• scientific article; zbMATH DE number 4077168
• Contraction contracted
• Cut Elimination in the Presence of Axioms
• Intuitionistic logic according to Dijkstra's calculus of equational deduction

This page was built for publication: Method of invariant transformations and logical deduction

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