共享平台、相互性与价值证明

共享社会中的共享行动是否有价值?如果答案是肯定的,那么共享行动的价值是一种什么性质的价值,以及这种价值的确立需要什么样的保证?在共享经济的2.0时代,共享平台的出现让我们的共享活动可以以更高效的方式分配共享物,从而增加社会的福祉,在这个意义上它是有价值的。同时,共享行动的价值性还需要一个像共享平台这样的准-良序社会的保证,只有在这个平台之中,真正的相互性和互惠才能够成立从而变成共享的理由。借助于斯坎伦和诺奇克对价值的论证,我们也可以在共享平台和准-良序社会的意义上论证,共享行动有可能作为一种“高价价值”和“元价值”,进而某种意义上获得超越“共享物”价值的意义。

良结构下推系统的表达能力

良结构下推系统是将状态集和栈字符集都扩展为良拟序的下推系统.研究向量加法系统及其扩展系统与良结构下推系统的关系,证明了多个模型可归约到良结构下推系统.通过树的后序遍历构造了分支向量加法系统到良结构下推系统的编码;通过显式引入栈证明递归向量加法系统是良结构下推系统的一种特例;创新地使用栈深表示向量的一维,来构造一位零测试向量加法系统到良结构下推系统的编码.通过这些编码证明了良结构下推系统的表达能力不低于这些向量加法扩展系统,进一步说明了良结构下推系统的一般性.

拟弹性空间

给出了拟弹性空间和网络弹性空间的定义,证明了拟弹性空间是良序(F)空间、网络弹性空间等价于T1空间。