Une bibliographie des logiques non-standard, par Peter Suber.
Lesquelles se prêtent le mieux au calcul formel sur les ontologies ?
(via varia )