次协调形式系统——矛盾中求协调的逻辑

次协调逻辑学说是越来越引人注目的一种国际逻辑新思潮。它是与数理逻辑、辩证逻辑、人工智能三方面都有密切关系的一种新颖奇特的非经典逻辑。本文从次协调逻辑的基本特征、形式刻划的必备概念、产生的动因、现实原型、历史渊源、次协调逻辑的基本形式系统以及在计算机科学中的简单应用等方面对新逻辑作出评介。