scientific article; zbMATH DE number 3985190

MaRDI QIDQ3749038zbMATH OpenFDO

Authors Vladimir Lifschitz

Publication date 1986

zbMATH Keywords

algorithm for natural deduction search for proofs in propositional logicLeningrad logic groupMaslov's inverse method

Mathematics Subject Classification ID

Schools of mathematics (01A72) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Recommendations

• Proof theory in the USSR 1925–1969
• The inverse method application for non-classical logics
• scientific article; zbMATH DE number 4170865
• scientific article; zbMATH DE number 1144311
• Decidability of the class E by Maslov's inverse method

Cited in

(8)

• Logic and proof-search procedures
• Proof theory in the USSR 1925–1969
• scientific article; zbMATH DE number 1144311 (Why is no real title available?)
• Optimizing proof search in model elimination
• Image of Soviet and Russian logic in the West. Latter Half of the XXth Century
• scientific article; zbMATH DE number 6261990 (Why is no real title available?)
• Maslov's inverse method and decidable classes
• What is the inverse method?

This page was built for publication:

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