STRIP
From MaRDI portal
Software:16820
swMATH4650MaRDI QIDQ16820FDOQ16820
Author name not available (Why is that?)
Cited In (13)
- 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
- Title not available (Why is that?)
- 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?)
- Semantic Labelled Tableaux for Propositional BI
- Title not available (Why is that?)
This page was built for software: STRIP
