I provide answers to the two questions in the title, and show that
ideal logics of the two types exist. In the case of paraconsistent
logics there are plenty of examples. In the relevance case only one is
currently known - the one I developed in my thesis (what an
unbelievable coincidence!).

Partially joint work with Ofer Arieli and Anna Zamansky