Kim B. Bruce gave a system of axioms lor second order logic L(Q).

• Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。