Extension of the inverse method to axiomatic theories with equality

DOI10.1007/BF01084086zbMATH Open0375.68038MaRDI QIDQ1245697FDOQ1245697

Aida Pliuškevičienė

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

• The Concept of Demodulation in Theorem Proving
• 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
• Title not available (Why is that?)

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)