The inverse method for establishing deducibility for logical calculi

DOI10.1149/1.2401695zbMath0208.01903OpenAlexW1977657470MaRDI QIDQ2543322

S. Yu. Maslov

Publication date: 1968

Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1149/1.2401695

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items (8)

Using resolution for deciding solvable classes and building finite models ⋮ Automatic theorem proving. II ⋮ Theorem prover for intuitionistic logic based on the inverse method ⋮ First-Order Resolution Methods for Modal Logics ⋮ Two decidable classes of formulas of the modal logic S5 ⋮ Maslov's inverse method and decidable classes ⋮ Extension of the inverse method to the predicate calculus with equality ⋮ Resolution calculus for the first order linear logic

This page was built for publication: The inverse method for establishing deducibility for logical calculi