scientific article; zbMATH DE number 1770113

zbMATH Open0990.68540MaRDI QIDQ4540540FDOQ4540540

Authors: Dominique Larchey-Wendling, Daniel Méry, Didier Galmiche 

Publication date: 22 July 2002

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

Recommendations

• scientific article; zbMATH DE number 1500555
• Theorem provers for substructural logics
• An Intuitionistic Predicate Logic Theorem Prover
• A history-based theorem prover for intuitionistic propositional logic using global caching: IntHistGC system description
• fCube: an efficient prover for intuitionistic propositional logic

Mathematics Subject Classification ID

Cited In (5)

• DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
• The ILTP problem library for intuitionistic logic
• Intuitionistic Decision Procedures Since Gentzen
• STRIP
• Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models

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