Linear strategy for Boolean ring based theorem proving

DOI10.1007/BF02948814MaRDI QIDQ1579733zbMATH OpenFDO

Authors Jinzhao Wu, Zhuojun Liu

Publication date 14 September 2000

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

inference rulesBoolean ring

Mathematics Subject Classification ID

Recommendations

• A new method for the Boolean ring based theorem proving
• Proof strategies in linear logic
• scientific article; zbMATH DE number 1222110
• scientific article; zbMATH DE number 1499088
• Boolean Rings for Intersection-Based Satisfiability
• scientific article; zbMATH DE number 1292302
• On linear rewriting systems for Boolean logic and some applications to proof theory
• Proof theory for linear lattices
• An even closer integration of linear arithmetic into inductive theorem proving
• On structuring proof search for first order linear logic

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3568056 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• A new method for the Boolean ring based theorem proving
• Completely non-clausal theorem proving
• Generalized resolution and NC-resolution
• On first-order theorem proving using generalized odd-superpositions II
• Refutational theorem proving using term-rewriting systems

Cited in

(1)

• On linear rewriting systems for Boolean logic and some applications to proof theory

This page was built for publication: Linear strategy for Boolean ring based theorem proving

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