Ah ok, I see what you mean. This is different from how I would understand the notion Ur-Logic: Just a logical system that can express anything you want, given

Ah ok, I see what you mean. This is different from how I would understand the notion Ur-Logic: Just a logical system that can express anything you want, given you are free to add axioms. Obviously there are a few choices for that.