具体对象相关论文
情绪恰当性理论的标准模式认为,一种情绪是恰当的,当且仅当它的具体对象正确例示了其形式对象。本文将表明,作为这个标准模式的代表,即......
扎尔塔所构造的的二阶模态对象演算[1](P249-279)是一个抽象对象公理理论的逻辑系统。该系统有若干重要而有趣的特征;配有复杂类型论......