开放逻辑中一类算子的不动点

摘要

在开放逻辑中，令Γ为一假说，Ａ为一句子，对任何Γ到Γ的幂集合的一个映射ｆ本文定义了如下算子△ｆ，对任何，且．我们讨论了算子△ｆ的不动点的一些性质及其与Ｒ－重构的关系。