sentential calculi