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

• Kim B.；Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。