杰姆·阿古斯蒂-卡莱尔 弗朗西斯科·埃斯特瓦 佩雷·加西亚 路易斯·戈多 将多值逻辑形式化为制度。 269-278 1990 conf/ipmu/1990 IPMU（综合项目管理单元） db/conf/ipmu/ipmu1990.html#Agusti-CullellEGG90 https://doi.org/10.1007/BFb0028112