scientific article; zbMATH DE number 4039849

MaRDI QIDQ3778718zbMATH OpenFDO

Authors V. K. Kabulov

Publication date 1987

zbMATH Keywords

algorithminterpretations of a propositional formula

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4145871
• An algorithm of classification of unranked propositional logic formulas
• Tautologies in formal logic
• The satisfiability of logical formula in proof of program
• The axiomatization of propositional logic

Cited in

(12)

• The satisfiability of logical formula in proof of program
• An algorithm of classification of unranked propositional logic formulas
• scientific article; zbMATH DE number 4164188 (Why is no real title available?)
• Proof Systems for Effectively Propositional Logic
• Tautologies in formal logic
• scientific article; zbMATH DE number 1470716 (Why is no real title available?)
• A powerful method of non-proof
• Three interpolation theorems for typeless logics
• The axiomatization of propositional logic
• Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic
• scientific article; zbMATH DE number 5070526 (Why is no real title available?)
• Representing formulas of propositional logic by cographs, permutations and tables

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 Q3778718)