STRIP: Structural sharing for efficient proof-search

DOI10.1007/3-540-45744-5_58MaRDI QIDQ4540540zbMATH OpenFDO

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

Publication date 22 July 2002

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

Full work available at URL https://doi.org/10.1007/3-540-45744-5_58

Mathematics Subject Classification ID

Recommendations

• Structural sharing and efficient proof-search in propositional intuitionistic logic
• 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

Cited in

(6)

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

This page was built for publication: STRIP: Structural sharing for efficient proof-search

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