Extension of the inverse method to the predicate calculus with equality

DOI10.1007/BF01117469zbMath0259.68040OpenAlexW2075391652MaRDI QIDQ2560052

S. Yu. Maslov

Publication date: 1973

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

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

Mathematics Subject Classification ID

Related Items (3)

Semiclassical asymptotics of the eigenfunctions of the Schrödinger-Hartree equation. New form of classical self-consistent field ⋮ Asymptotic properties of disk dynamo ⋮ Extension of the inverse method to axiomatic theories with equality

Cites Work

• Specialization of the form of deduction in the precicate calculus with equality and function symbols. I
• The inverse method for establishing deducibility for logical calculi
• Unnamed Item
• Unnamed Item

This page was built for publication: Extension of the inverse method to the predicate calculus with equality