(1) 本文介绍了一个新逻辑系统，并将其用于概称句的生成、评价、使用、和修正。(2) 重言式理论是各多值逻辑系统的一个重要组成部分。(3) 所以，他们把样本应用程序分为三个不同的逻辑系统：零售商系统