从神经网络到逻辑理论：形式化神经纤维化与模态逻辑纤维化的对应关系