A refined calculus for Intuitionistic Propositional Logic - DISCo
A refined calculus for Intuitionistic Propositional Logic - DISCo
A refined calculus for Intuitionistic Propositional Logic - DISCo
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
8. J. Hudelmaier. An O(n log n)-space decision procedure <strong>for</strong> intuitionistic propositionallogic. Journal of <strong>Logic</strong> and Computation, 3(1):63–75, 1993.9. P. Miglioli, U. Moscato, and M. Ornaghi. Avoiding duplications in tableau systems<strong>for</strong> intuitionistic logic and Kuroda logic. <strong>Logic</strong> Journal of the IGPL, 5(1):145–167,1997.10. R. Statman. <strong>Intuitionistic</strong> logic is polynomial-space complete. Theoretical ComputerScience, 9(1):67–72, 1979.11. N. N. Vorob’ev. A new algorithm of derivability in a constructive <strong>calculus</strong> of statements.In Sixteen papers on logic and algebra, volume 94 of American MathematicalSociety Translations, Series 2, pages 37–71. American Mathematical Society, Providence,R.I., 1970.14