防操纵的逻辑方法研究

作     者：孙雯 SUN Wen

作者机构：南开大学哲学院天津300071 

出 版 物：《毕节学院学报（综合版）》 (Journal of Bijie University)

年 卷 期：2013年第31卷第3期

页      码：48-51页

摘      要：合理的投票系统都是操纵的,投票决策形成过程中防操纵问题,属于应用领域的前沿问题。从公理化的方法、计算机辅助证明的方法、设计新逻辑的方法,对防操纵社会选择机制进行了研究。

主 题 词：防操纵 社会选择 公理化方法 模态逻辑 计算机辅助证明 

学科分类：01[哲学] 0101[哲学-哲学类] 010104[010104] 

D　O　I：10.3969/j.issn.1673-7059.2013.03.010

馆 藏 号：203133450...