Abir Nour The Tableau Method for a Logical System Based on a Finite Poset. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2002, v:12, n:1, pp:43-62 [Journal]
Diderik Batens, Timothy Vermeir Direct Dynamic Proofs for the Rescher-Manor Consequence Relations: The Flat Case. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2002, v:12, n:1, pp:63-84 [Journal]
Ross T. Brady Ordering Properties for the Routley-Meyer Relation R. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2002, v:12, n:1, pp:85-98 [Journal]