scientific article; zbMATH DE number 517062

MaRDI QIDQ4282590zbMATH OpenFDO

Authors G. E. Mints

Publication date 26 September 1994

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Resolution calculus for the first order linear logic
• scientific article; zbMATH DE number 683345
• scientific article; zbMATH DE number 1088191
• Gentzen-type systems, resolution and tableaux
• scientific article; zbMATH DE number 2222011
• scientific article; zbMATH DE number 3902027
• scientific article; zbMATH DE number 1761419
• scientific article; zbMATH DE number 886137
• scientific article; zbMATH DE number 4022664
• scientific article; zbMATH DE number 4025402

Cited in

(6)

• Non-classical syllogistic inference and the method of resolution
• Gentzen-type systems, resolution and tableaux
• Resolution calculus for the first order linear logic
• Weighting strategy for non-clausal resolution
• scientific article; zbMATH DE number 683345 (Why is no real title available?)
• Completeness of Resolution for Definite Answers

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