■

• J.-Y. Girard　　“Light Linear Logic,”　in: Information and Computation, vol. 143, no. 2, 1998
• Ross T. Brady　　“The Consistency of the Axioms of Abstraction and Extensionality in a Three-Valued Logic,”　in: The Notre Dame Journal of Formal Logic, vol. 12, no. 4, 1971
• Ditto　　 　　“The Relative Consistency of the Class Axioms of Abstraction and Extensionality and the Axioms of NBG in a Three-Valued Logic,”　in: The Notre Dame Journal of Formal Logic, vol. 13, no. 2, 1972
• Ditto　　　 　“The Simple Consistency of a Set Theory Based on the Logic CSQ,”　in: The Notre Dame Journal of Formal Logic, vol. 24, no. 4, 1983
• Roberto Di Cosmo and Dale Miller　　“Linear Logic,”　in: The Stanford Encyclopedia of Philosophy, Sep 6, 2006