Algorithmic aspects of intuitionistic propositional logic II
Number of Authors: 1
1989 (English)Report (Refereed)
In this report, a decision procedure for intuitionistic propositional logic is presented which is an improvement of the procedure presented in SICS report R87010B, "Algorithmic Aspects of Intuitionistic Propositional Logic," and its completeness proved. Also, a set of benchmarks is presented together with the results obtained from a parallel implementation of the algorithm.
Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1989, 1. , 27 p.
SICS Research Report, ISSN 0283-3638 ; R89:06
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-22184OAI: oai:DiVA.org:ri-22184DiVA: diva2:1041728
Original report number R89006.2016-10-312016-10-31