格值逻辑公式中短语和文字的可消性
徐扬, 宋振明
Chinese Quarterly Journal of Mathematics . 1990, (1-2): 172 -181 .