Franzén, Torkel (1989) Algorithmic aspects of intuitionistic propositional logic II. [SICS Report]
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.
|Item Type:||SICS Report|
|Additional Information:||Original report number R89006.|
|Deposited By:||Vicki Carleson|
|Deposited On:||28 Sep 2009|
|Last Modified:||18 Nov 2009 16:10|
Repository Staff Only: item control page