Extension of the inverse method to axiomatic theories with equality

DOI10.1007/BF01084086zbMath0375.68038MaRDI QIDQ1245697

A. Ju. Pljuskevicene

Publication date: 1976

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

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Cites Work

• Specialization of the use of axioms for deduction search in axiomatic theories with equality
• Extension of the inverse method to the predicate calculus with equality
• The Concept of Demodulation in Theorem Proving
• Unnamed Item