%0 Journal Article %A Ardeshir, Mohammad %A Ruitenburg, Wim %D 1998 %I Wiley-Blackwell %J Mathematical Logic Quarterly %N 3 %P 317-343 %T Basic Propositional Calculus I %V 44