scientific article; zbMATH DE number 1500555

zbMATH Open0955.03017MaRDI QIDQ4501574FDOQ4501574

Authors: Didier Galmiche, Dominique Larchey-Wendling 

Publication date: 14 January 2001

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

• Title not available (Why is that?)
• STRIP
• Efficient SAT-based proof search in intuitionistic propositional logic

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)