同时对各种逻辑传统(如经典逻辑、直觉主义逻辑和线性逻辑等)，给出一种统一和融和的方法。
It also offers a way to reconcile and unify various competing or antagonistic traditions of logical thought such as classical, intuitionistic and linear logics.
同时对各种逻辑传统(如经典逻辑、直觉主义逻辑和线性逻辑等)，给出一种统一和融和的方法。
It also offers a way to reconcile and unify various competing or antagonistic traditions of logical thought such as classical, intuitionistic and linear logics.
应用推荐