第一个特色源自于于传统上具备实用价值的理性主义,它是能够包罗万象却又能够有选择性地接纳融和的一种文化。
The first characteristic follows the tradition of practical rationalism, an all-embracing but selective fusion of cultures.
同时对各种逻辑传统(如经典逻辑、直觉主义逻辑和线性逻辑等),给出一种统一和融和的方法。
It also offers a way to reconcile and unify various competing or antagonistic traditions of logical thought such as classical, intuitionistic and linear logics.
应用推荐