ByNobleID
    Non-classical propositional calculi | NobleID