scientific article; zbMATH DE number 1500555

MaRDI QIDQ4501574zbMATH OpenFDO

Authors Didier Galmiche, Dominique Larchey-Wendling

Publication date 14 January 2001

zbMATH Keywords

propositional intuitionistic logicproof-searchstructural sharing

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1770113
• scientific article; zbMATH DE number 1753197
• Optimization techniques for propositional intuitionistic logic and their implementation
• Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
• A proof-search procedure for intuitionistic propositional logic

Cited in

(3)

• Efficient SAT-based proof search in intuitionistic propositional logic
• STRIP
• scientific article; zbMATH DE number 1770113 (Why is no real title available?)

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