开放逻辑

来自术语
跳转至: 导航搜索

    李未提出的一个可以刻画知识增长、更新以及进化的逻辑理论,由形式理论版本序列及其极限、修正演算和过程模式以及归纳演算四部分组成。

英文名 open logic