Structural sharing and efficient proof-search in propositional intuitionistic logic

DOI10.1007/3-540-46674-6_10MaRDI QIDQ4501574zbMATH OpenFDO

Authors Didier Galmiche, Dominique Larchey-Wendling

Publication date 14 January 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46674-6_10

zbMATH Keywords

proof-searchpropositional intuitionistic logicstructural 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)

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

This page was built for publication: Structural sharing and efficient proof-search in propositional intuitionistic logic

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