John T. Kearns Propositional Logic of Supposition and Assertion. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1997, v:38, n:3, pp:325-349 [Journal]

Osamu Takaki Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1997, v:38, n:3, pp:350-373 [Journal]

Carsten Butz Syntax and Semantics of the Logic L^{lambdaomega omega}. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1997, v:38, n:3, pp:374-384 [Journal]

S. V. Bhave Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1997, v:38, n:3, pp:398-405 [Journal]