LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models