The relevance graph of a BCK-formula. A complete proof synthesis method for the cube of type systems. The possibility of generating true conjectures. Adam J. Grove and Joseph Y. Halpern . The propositional case.
Defeasible logic is stable.
Logic programs for primitive recursive sets. Antonio Brogi , Evelina Lamma , and Paola Mello . Composing open logic programs. The elusive locus of logicality. Karl Schlechta .