A. 逻辑证明是另一种意义上的检验真理的标准

B. 逻辑证明为实践检验提供理论指导

C. 逻辑证明是实践检验的必要补充

D. 逻辑证明可以证明实践当前尚无法直接检验的科学理论的正确性

E. 逻辑证明是一种探索真理、论证真理的手段