Partial truth-tables for the logical connectives in the calculus based... Downlo