SODA

Algorithmic aspects of intuitionistic propositional logic

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

[img]
Preview
PDF
3048Kb

Abstract

An algorithm for deciding validity in the intuitionistic propositional calculus is presented, together with source code in Quintus Prolog and some test data. The algorithm is based on an analysis of the use of contraction in the intuitionistic propositional sequent calculus, and also includes the techniques of "or-locking", "implication gathering", and "irrelevance checking".

Item Type:SICS Report
Additional Information:Original report number R87010B.
ID Code:2549
Deposited By:Vicki Carleson
Deposited On:17 Sep 2009
Last Modified:18 Nov 2009 16:10

Repository Staff Only: item control page