Cited in
(22)- A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications
- Long normal form proof search and counter-model generation
- scientific article; zbMATH DE number 2090290 (Why is no real title available?)
- 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
- Hilberticus
- 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
- scientific article; zbMATH DE number 2090289 (Why is no real title available?)
- Some remarks on relations between proofs and games
- Semantic Labelled Tableaux for Propositional BI
- scientific article; zbMATH DE number 2242591 (Why is no real title available?)
This page was built for software: STRIP
