Extension of the inverse method to axiomatic theories with equality

DOI10.1007/BF01084086MaRDI QIDQ1245697zbMATH OpenFDO

Authors Aida Pliuškevičienė

Publication date 1976

Published in Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01084086

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Cites work

• scientific article; zbMATH DE number 3365215 (Why is no real title available?)
• Extension of the inverse method to the predicate calculus with equality
• Specialization of the use of axioms for deduction search in axiomatic theories with equality
• The Concept of Demodulation in Theorem Proving

This page was built for publication: Extension of the inverse method to axiomatic theories with equality

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