Abstract
This article is a report on research in progress into the structure of finite
diagrams of intuitionistic propositional logic with the aid of automated reasoning
systems for larger calculations. A fragment of a propositional logic is the set of
formulae built up from a finite number of propositional variables by means of a
number
... read more