SODA

Algorithmic aspects of intuitionistic propositional logic II

Franzén, Torkel (1989) Algorithmic aspects of intuitionistic propositional logic II. [SICS Report]

[img]
Preview
PDF
2057Kb

Abstract

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.
ID Code:2522
Deposited By:Vicki Carleson
Deposited On:28 Sep 2009
Last Modified:18 Nov 2009 16:10

Repository Staff Only: item control page