scientific article; zbMATH DE number 1303435

MaRDI QIDQ4250044zbMATH OpenFDO

Authors L. N. Gordeev

Publication date 11 October 1999

zbMATH Keywords

deductive systemsmany-valued logicPost logicreduction calculusrewriting systemssequent calculus

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Grammars and rewriting systems (68Q42)

Recommendations

• M-calculus -- a sequent method for automatic theorem proving
• On cut elimination in the presence of perice rule
• scientific article; zbMATH DE number 3559517
• Towards a semantic characterization of cut-elimination
• An emendation of the axiom system of Hilbert and Ackermann for the restricted calculus of predicates
• scientific article; zbMATH DE number 3878900
• Relevance Principle for Substructural Logics with Mingle and Strong Negation
• A decidable fragment of predicate calculus
• scientific article; zbMATH DE number 1333598
• Algorithm for PP-reduction a PC formula to the clause form

Cited in

(2)

• REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
• Reductions for non-clausal theorem proving

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