A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description

DOI10.1007/978-3-319-08587-6_19zbMath1423.68417OpenAlexW2554014980MaRDI QIDQ3192197

Rajeev Goré, Jesse Wu, Jimmy Thomson

Publication date: 26 September 2014

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08587-6_19

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (6)

Goal-oriented proof-search in natural deduction for intuitionistic propositional logic ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ Efficient SAT-based proof search in intuitionistic propositional logic ⋮ A tableaux calculus for default intuitionistic logic ⋮ IntHistGC ⋮ SAT-based proof search in intermediate propositional logics

Uses Software

This page was built for publication: A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description