STRIP

swMATH4650MaRDI QIDQ16820FDOQ16820

Author name not available (Why is that?)

Official website: http://www.loria.fr/~larchey/STRIP/

Cited In (21)

• A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications
• Long normal form proof search and counter-model generation
• Title not available (Why is that?)
• Automated Reasoning with Analytic Tableaux and Related Methods
• The ILTP problem library for intuitionistic logic
• Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
• Intuitionistic Decision Procedures Since Gentzen
• ILTP
• MUSCADET
• NoMoRe
• JProver
• Imogen
• TABLEAUX
• MODPROF
• IntHistGC
• Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
• Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
• Title not available (Why is that?)
• Some remarks on relations between proofs and games
• Semantic Labelled Tableaux for Propositional BI
• Title not available (Why is that?)

This page was built for software: STRIP