An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description

DOI10.1007/978-3-642-38574-2_19zbMath1381.68269OpenAlexW142406732MaRDI QIDQ4928444

Rajeev Goré, Jimmy Thomson

Publication date: 14 June 2013

Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_19

Mathematics Subject Classification ID

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

Related Items (1)

BDDIntKt

Uses Software

• ILTP
• BuDDy
• fCube
• Imogen

This page was built for publication: An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description